Monotonní deterministický RL-automat nepotřebuje pomocné symboly

Abstrakt

Ukážeme, že použití pomocných symbolů nezvyšuje vyjadřovací sílu deterministických dvousměrných automatů, které jsou vpravo- nebo doleva-monotonní.

Klíčová slova

• Monotone
• deterministic
• RL-automata
• don&apos
• t
• auxiliary
• symbols