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

Симулюйте ДСА за правилами переходів. Введіть правила, початковий стан і рядок — отримайте шлях станів і кінцевий стан.

Почати роботу

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

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

Приклад

Вхідні дані

q0,0,q0
q0,1,q1
q1,0,q0
q1,1,q1
input = 1011; initial = q0

Результат

q0 → q1 → q0 → q1 → q1

Введення й обчислення

Введіть кожен перехід в окремому рядку: поточний стан,вхідний символ,наступний стан. q0,0,q0; q0,1,q1; q1,0,q0; q1,1,q1 введіть у чотирьох окремих рядках.

Укажіть вхідний рядок 1011 та початковий стан q0, потім запустіть. Очікуваний шлях: q0 → q1 → q0 → q1 → q1; кінцевий стан q1. Перевірте кожен перехід за таблицею.

Обмеження

До 200 правил; кожен вхідний символ — одна кодова точка Unicode. Повторні правила стан-символ або відсутні переходи спричиняють помилки. Немає поля приймальних станів, епсилон-переходів, мінімізації чи діаграми.

Назви станів і початковий стан обмежені 50 кодовими одиницями UTF-16, вхід — 10000. Пробіли по краях полів правил видаляються; пробільний символ не можна задати як вхідний. Початковий стан вводьте точно, з урахуванням регістру, без крайових пробілів. Порожній вхід зберігає початковий стан. Відсутній перехід дає загальну помилку без позиції та часткового шляху.

Обробка виконується локально у вашому браузері.

Інструкція з використання

Введіть кожен перехід в окремому рядку: поточний стан,вхідний символ,наступний стан. q0,0,q0; q0,1,q1; q1,0,q0; q1,1,q1 введіть у чотирьох окремих рядках.
Укажіть вхідний рядок 1011 та початковий стан q0, потім запустіть. Очікуваний шлях: q0 → q1 → q0 → q1 → q1; кінцевий стан q1. Перевірте кожен перехід за таблицею.
До 200 правил; кожен вхідний символ — одна кодова точка Unicode. Повторні правила стан-символ або відсутні переходи спричиняють помилки. Немає поля приймальних станів, епсилон-переходів, мінімізації чи діаграми.