def __init__(self):
StateDescription.__init__(
self, MessageState(), SimpleForwardDefaultTransition(MessageState()), [
TransitionWithoutAction(Configuration(MessageState(), '\\'),
Configuration(EscapeState(MessageState()), '')),
_TransitionFromMessageToCode(),
_TransitionFromMessageToAccept()
])
def get_output_configuration(
self, input_configuration: Configuration) -> Configuration:
output_state = EscapeState(input_configuration.state)
return Configuration(output_state, '\\')
def __init__(self):
StateDescription.__init__(self, EscapeState(None),
_EscapeDefaultTransition(), [])
def __init__(self):
DefaultTransition.__init__(self, EscapeState(None))