Нужна реализация любого конечного автомата.

@Darija · Регистрация: 25.10.2015

Студворк — интернет-сервис помощи студентам

Народ, подкиньте реализацию любого конечного автомата, или подскажите, где взять. Заранее спасибо.

@challengerr · 26.09.2011, 17:04

Задан конечный автомат следующем функцией переходов :

состояние

символ 0

символ 1

0

1

2

4

2

5

3

2

4

$https://www.cyberforum.ru/cgi-bin/latex.cgi?\rightarrow$ (выход)

4

3

5

Реализация

Visual Basic
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
'матрица переходов
Dim Delta(5,2) As Integer
'state - номер текущего состояния
Dim state,j,l,n As Integer
'InputString - входная цепочка
'Symbol - текущий входной символ
Dim InputString, Symbol As String
Delta(1,1) = 2 : Delta(1,2) = 4
Delta(2,1) = 5 : Delta(2,2) = 3
Delta(3,1) = 2 : Delta(3,2) = 4
Delta(4,1) = 3 : Delta(4,2) = 5
Delta(5,1) = 5 : Delta(5,2) = 5
n = len(inputstring)
state = 1
For i=1 To n
Symbol = Mid(inputstring,i,1)
If Symbol="0" Then
j=1
Else If Symbol="1" Then
j=2
Else
state =5 : Exit For
End If
state = Delta(state,j)
Next
If state =3 Then
'цепочка допускается
Else
'цепочка не допускается
End If

самостоятельно:
1. проверить является ли число двоичным
2. проверить принадлежит ли грамматике (нетерминалами которой является 0 и 1): четное число 1 и нечетное число 0 цепочка
(нетерминалы: 0,1)

Добавлено через 5 часов 56 минут
Как решить задачу построения конечного автомата
Цепочку необходимо пройти только один раз при считывании, особенность конечных автоматов в том, что у них нет памяти - нельзя посмотреть ни предыдущий, ни следующий символ.
Берем какую-нибудь цепочку для примера. 00111010001
Автомат, который нужно построить: четное число 1, нечетное число 0. Это грамматика.
У нас есть входное состояние конечного автомата. Занумеруем его цифрой I.
Составляем таблицу из 3 столбцов. Первый столбец это номера состояним конечного автомата, второй столбец это изменение состоянии автомата при получении символа 0. Второй столбец - это изменение состояния автомата при получении символа 1.
Первым символом може быть либо 0, либо 1. Если получаем на входе другой символ, то получаем особое состояние пустой цепочки. Обозначим его как N - из N автомат переходит только в N вне зависимости от того, какие символы дальше. Если автомат перешел в состояние N, это означаем, что цепочка не принадлежит заданной грамматике. Если это 0, то переходим в состояние II, если это 1, то переходим в состояние III. Записываем в таблицу значения:
№ 0 1
I II III
II
III
N N N
Автомат находится в состоянии II. Вторым символом в цепочке может быть либо 0, либо 1. Если это 0, то мы получили четное число 0. Обозначим состояние четности числа 0 через IV. В состоянии II у нас нечетное количество 0. Получим следующую таблицу:
№ 0 1
I II III
II
III
IV
N N N
Если в IV состоянии получен еще один ноль, то мы получили нечетное количество 0, значит авмомат может вернуться в сотояние II из IV. Пометим это в таблице:
№ 0 1
I II III
II IV
III
IV II
N N N
Если в IV состоянии получена 1, то мы получили четную цепочку 1, значит цепочка не допускается - переходим в состояние N. Пометим в таблице:
№ 0 1
I II III
II IV
III
IV II N
N N N

Если во II состоянии получили 1, то мы получили состоянии нечетности 0 и перешли в сосотяние нечетности 1, а это состояние номер III.
Пометим в таблице:
№ 0 1
I II III
II IV III
III
IV II N
N N N

Автомат находится в состоянии III. Символом в цепочке может быть либо 0, либо 1. Если 0, то количество 1 нечетно, значт цепочка не принадлежит грамматике. Пометим в таблице переход в состояние N:
№ 0 1
I II III
II IV III
III N
IV II N
N N N
Автомат находится в состоянии III. Если получили 1 то количество единиц стало четным. Обозначим состояние четности 1 как V и зафиксируем переход из состояния III в V.
№ 0 1
I II III
II IV III
III N V
IV II N
V
N N N
Рассмотрим состояние V. Если в этом состоянии получили 0, то перешли в состояние нечетного количества 0, а это II. Если получили 1, то перешли в состояние нечетности 1, это III.
№ 0 1
I II III
II IV III
III N V
IV II N
V II III
N N N
Какие состояния являются состояниями выхода:
I четность и 0 и 1
II нечетность 0
III нечетность 1
IV четность 0
V четность 1
Не являются состояниями выхода III и IV.
Являются состояниями выхода II и V.
Полученный автомат - детерминированный. и его нельзя улучшить, составляя классы эквивалентности.
Подробнее написано в прекрасной книге Ахо и Ульмана.

Новые блоги и статьи Все статьи Все блоги /
PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Access VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .
Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .

@Darija 0 / 0 / 0 Регистрация: 25.10.2015 Сообщений: 5

	Нужна реализация любого конечного автомата. 19.09.2011, 22:44. Показов 3450. Ответов 1 Метки нет (Все метки) Народ, подкиньте реализацию любого конечного автомата, или подскажите, где взять. Заранее спасибо. 0