Вопросы по теме 'automata'

Расширенный учебник по формальной логике / теории автоматов
Я знаю, что это больше вопрос по математике/формальному языку/автоматам/информатике, чем по программированию, но я надеюсь, что смогу получить совет по понятному учебнику (не неразборчивой монографии) по формальной логике помимо исчисления...
2819 просмотров
schedule 18.05.2023

Какова конкатенация этого языка с самим собой?
Учитывая следующий язык: L 1 = { (ab) n | n ≥ 0 } То есть L 1 = { ε ab, abab, ababab, abababab, ... } Вопрос в том, чтобы найти язык L 1 2 . Я предполагаю, что это равно { (ab) 2n | n ≥ 0 } . Это правильно?...
1558 просмотров

Regex предназначен для обычных грамматик, а ____ — для контекстно-свободных грамматик.
Я только что узнал, что Regular Grammars имеют соответствующие Finite State Acceptors , которые будут соответствовать Regular Expressions . Есть ли эквивалентное преобразование с Context Free Grammars ? Насколько я знаю, контекстно-свободные...
244 просмотров

Пересечение двух DFA, сколько состояний? Конечные состояния?
Рассмотрим следующие языки более = {0, 1}, A = {2 : w содержит 011 в качестве подстроки} B = язык, соответствующий регулярному выражению 0(0 + 1)*1 Пусть M(B) будет DFA, полученным преобразованием N(B) с использованием конструкции подмножества с...
951 просмотров
schedule 19.08.2023

Создание образа автомата моей модели Promela
Я использую графический интерфейс для проверки моделей SPIN — iSPIN. Графический интерфейс поставляется с хорошим генератором представления автоматов, однако, чтобы увидеть полный автомат, мне нужно увеличивать/уменьшать масштаб. Также я хотел бы...
497 просмотров
schedule 10.04.2024

Преобразование CFG в нормальную форму Грейбаха
Нужно ли сначала преобразовать контекстно-свободную грамматику в нормальную форму Хомского, чтобы преобразовать ее в нормальную форму Грейбаха?
1560 просмотров

Описание действия машины Тьюринга
Я пытаюсь ответить в третьей части на следующий вопрос: Я нарисовал следующую диаграмму состояний: Согласно решению, машина «добавляет 1 к двоичному числу с его младшим битом в крайнем левом положении на ленте». Я не понимаю, что это...
636 просмотров

Как разработать регулярное выражение, используемое для поиска шаблона, а не для проверки шаблона?
Как мы узнали, имея шаблон регулярного выражения (например, A B A B A C ), мы можем преобразовать его в DFA. В этом примере это будет похоже на цепочку (вы можете протестировать ее здесь ). Этот «похожий на цепочку» DFA может сказать,...
186 просмотров
schedule 06.05.2022

Как конечные автоматы реализованы в коде?
Как реализовать dfa или nfa в коде Python? Какие есть хорошие способы сделать это в python? И используются ли они когда-нибудь в реальных проектах?
26478 просмотров
schedule 04.12.2023

Построить грамматику для языка
У меня есть вопрос по этому вопросу: L= пусто, где алфавит {a,b} как создать грамматику для этого? как может быть производственное правило? заранее спасибо
243 просмотров

Как прокачать лемму для обычного языка
У меня такая проблема, что мне нужно доказать, что язык не является регулярным, используя лемму о накачке, но сколько я ни читал, как это сделать, я все еще не понимаю. Может кто-нибудь, пожалуйста, помогите, как это решить? Покажите, что L =...
66 просмотров