Онлайн-симулятор скінченного автомата (FSM)

Що робить цей інструмент

Симулятор приймає таблицю переходів детермінованого скінченного автомата (ДСА) і вхідний рядок. Він обробляє рядок по одному символу (кодова точка Unicode) і показує послідовність станів, через які проходить автомат.

Приклад роботи

Розглянемо правила:

q0,0,q0
q0,1,q1
q1,0,q0
q1,1,q1

Початковий стан: q0. Вхідний рядок: 1011.

Очікуваний шлях: q0 → q1 → q0 → q1 → q1, кінцевий стан: q1.

Обмеження та правила

• Кількість правил: від 1 до 200.
• Імена станів: не довші за 50 символів, не порожні.
• Кожен вхідний символ — рівно одна кодова точка Unicode.
• Для кожної пари (стан, символ) допускається лише один перехід; дублікати відхиляються.
• Вхідний рядок обмежений 10000 UTF-16 кодових одиниць.
• Якщо для поточного стану та символу немає правила, симуляція зупиняється з помилкою на цьому символі.

Часті запитання

Чи підтримує інструмент приймаючі стани?

Ні, інструмент не має поля для приймаючих станів. Він лише показує шлях і кінцевий стан, але не визначає, чи приймає автомат рядок.

Чи можна використовувати символи, що не входять до базової площини Unicode?

Так, але вони відображатимуться як сурогатні пари. Наприклад, символ U+1F600 буде показаний як два кодових одиниці. Інструмент обробляє їх як один символ.

Що станеться, якщо ввести дубльоване правило?

Інструмент відхилить дублікат і повідомить про помилку, замість того щоб мовчки перезаписати попереднє правило.