Вопросы по теме '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 просмотров
schedule
01.10.2022
Regex предназначен для обычных грамматик, а ____ — для контекстно-свободных грамматик.
Я только что узнал, что Regular Grammars имеют соответствующие Finite State Acceptors , которые будут соответствовать Regular Expressions .
Есть ли эквивалентное преобразование с Context Free Grammars ? Насколько я знаю, контекстно-свободные...
244 просмотров
schedule
26.03.2022
Пересечение двух 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 просмотров
schedule
09.04.2024
Описание действия машины Тьюринга
Я пытаюсь ответить в третьей части на следующий вопрос:
Я нарисовал следующую диаграмму состояний:
Согласно решению, машина «добавляет 1 к двоичному числу с его младшим битом в крайнем левом положении на ленте». Я не понимаю, что это...
636 просмотров
schedule
14.12.2023
Как разработать регулярное выражение, используемое для поиска шаблона, а не для проверки шаблона?
Как мы узнали, имея шаблон регулярного выражения (например, 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 просмотров
schedule
12.10.2023
Как прокачать лемму для обычного языка
У меня такая проблема, что мне нужно доказать, что язык не является регулярным, используя лемму о накачке, но сколько я ни читал, как это сделать, я все еще не понимаю. Может кто-нибудь, пожалуйста, помогите, как это решить?
Покажите, что L =...
66 просмотров
schedule
09.07.2023