Finite State Automaton Challenges

Automaton — это машина, которая отвечает на конкретный вопрос без вмешательства человека после его включения, например: Будет ли a + b = c? В этой игре мы будем использовать простейшую модель автомата, конечный государственный автомат, чтобы справиться с 80 проблемами. Они происходят от манипулирования строками символов, двоичных чисел и повседневной жизни. Не волнуйтесь, если вы не знакомы с Finite State Automaton; эта игра содержит учебник для быстрого начала. Кроме того, вы можете прочитать следующее введение.Finite State Automaton (FSA) является самым простым типом автомата. Автомат конечного состояния состоит из нескольких состояний и правил перехода. Правило перехода описывает, когда государство переходит в другое. Это похоже на карту метро. Клиентами конечного автомата состояний являются строки символов. Он решает, какие струны принимаются, а какие отвергаются. Например, FSA может принимать действительные электронные письма, номера телефонов и т. Д. Теперь давайте перейдем к первому примеру: у него есть два состояния: левое состояние «1» и правое состояние «2». «1», обозначенный зеленым цветом, означает, что автомат начинается здесь. «2», помеченный синим цветом, означает, что автомат принимает входную строку только в том случае, если она останавливается здесь и читает все символы в порядке строки. Следовательно, этот автомат должен принять «а» и отклонить любую другую строку.Вопрос: попробуйте спроектировать FSA, принимающую «ab», и FSA, принимающую «a» или «b» (abbr., «a | b») самостоятельно (они являются двумя проблемами в игре). В этой игре вы можете играть в автоматы с разными состояниями на разных уровнях. Недетерминистическое Наиболее существенное понятие FSA (и других типов автоматов) называется недетерминированным. Чтобы представить эту концепцию, вот второй пример автомата. Он принимает все строки (только состоящие из «a» и «b»), заканчивающиеся на «b»: Бегите этот автомат над «b» в своей голове: (1) Он начинается с «1», запускает самопетлю «1», затем читает все «b», а также останавливается на «1», поэтому отклоняйте «b»; (2) Он начинается с «1» и переходит на «2», затем читает все «b», а также останавливается на «2», поэтому примите «b». Недетерминированный автомат конечного состояния (NFA) принимает строку, если по крайней мере один след заканчивается в состоянии, отмеченном синим цветом.Запустите этот автомат над «ab» в вашей голове: (1) он начинается с «1», дважды запускает самопетлю «1», затем читает все «ab», а также останавливается на «1», поэтому отклоняйте «ab»; (2) он начинается с «1», запускает самопетлю «1» один раз и переходит на «2», затем читает все «b», а также Недетерминистическое имеет важное значение, потому что оно позволяет FSA угадывать, что позволяет нам проектировать автомат естественно (поскольку мы, люди, любим угадывать) и быстро.