Описание тега automata
В теоретической информатике теория автоматов - это изучение абстрактных "математических" машин или систем и вычислительных задач, которые могут быть решены с помощью этих машин. Эти абстрактные машины называются автоматами. ("Автоматы", Википедия)
0
ответов
NFA для базы m не делится на n
Мне дали упражнение найти DFA for base m no divisible by m, Благодаря этой ссылке я узнал, как это сделать, но потом подумал, как бы мы подошли к этому упражнению, если бы оно создавало NFA а затем преобразовать его в DFA, используя метод построения…
23 сен '18 в 07:30
1
ответ
Связь между двумя конечными автоматами в Java
Я использовал простой плагин eclipse для создания визуальных конечных автоматов, называемых диаграммами состояний, который также использует код Java для работы. Моя общая цель - сделать так, чтобы два конечных автомата общались друг с другом через с…
26 окт '15 в 16:36
1
ответ
Значение комбинированных состояний в DFA
При конвертации и NFA в DFA, иногда государства должны быть объединены. Как в приведенном выше сценарии. Но что на самом деле означает "объединять государства в одно" в реальном сценарии? И какова будет природа комбинации двух вышеупомянутых госуда…
08 ноя '17 в 05:59
2
ответа
Как правильно выйти из вложенных состояний в диаграммах состояний UML?
Я новичок в UML и пытаюсь задокументировать процесс разработки программного обеспечения. Я сделал следующую диаграмму с помощью PlantUML: Во внутренних состояниях я хотел бы показать, что после того, как сделаны их соответствующие выпуски (то есть н…
17 авг '17 в 05:10
3
ответа
Как конвертировать NFA/DFA в Java?
У меня есть сценарий, в котором я разработал NFA и, используя JFLAP, преобразовал его в DFA. Мне нужно знать, как закодировать это в Java? В основном, как реализовать эти переходы состояний в Java. Я видел несколько примеров, которые делают это с по…
14 окт '11 в 14:00
3
ответа
КПК принимает язык строк, содержащий больше а, чем б
Создайте КПК для распознавания следующего языка: язык строк, содержащих больше а, чем б Я боролся с этим вопросом уже несколько дней, похоже, у меня полная психическая блокада. Сможет ли кто-нибудь дать какое-нибудь руководство или руководство, как …
29 мар '12 в 17:06
1
ответ
Как работает минимизация DFA?
Что-то не так с этими заметками, написанными моим профессором? Насколько D&F; и B&C; эквивалентны? Они не должны быть, потому что функции транзакций дают разные состояния. Если это нормально, и мы заботимся об эквивалентности одного и того же ввода,…
15 фев '16 в 12:56
2
ответа
Если M - машина Тьюринга, вопрос, если L(M) = A Обычный язык, разрешимый?
Если M - машина Тьюринга, мы можем построить контекстно-зависимую грамматику G, а затем проверить, является ли контекстно-зависимая грамматика контекстно-свободной, и, наконец, контекстно-зависимая грамматика является регулярной или нет описанным сп…
05 фев '19 в 19:03
3
ответа
Как я могу доказать, что этот язык является регулярным?
Я пытаюсь доказать, если этот язык: L = {w = {0,1} * | #0(w)% 3 = 0} (число 0 делится на 3) регулярно пользуется леммой прокачки, но я не могу найти способ сделать это. Все остальные примеры, которые я получил, имеют простую форму или, скажем, более…
17 дек '15 в 18:08
0
ответов
Сокращение или устранение дублирующихся записей массива
Я хотел бы исключить или радикально сократить записи константного массива для поиска, который включает наборы констант или следующее состояние. Возможно, это очень просто сделать, я просто не знаю, какую структуру использовать. Я пишу встроенный C-к…
16 фев '16 в 19:28
1
ответ
Построить грамматику для языка
У меня есть вопрос по этому вопросу: L = пусто, где алфавит {a,b} как создать грамматику для этого? как может быть производственное правило? заранее спасибо
04 май '17 в 12:41
4
ответа
Автоматы Теория книг
Пожалуйста, предложите мне несколько хороших книг на тему "Формальные языки и теория автоматов". Спасибо!
04 янв '10 в 15:04
1
ответ
Наличие некоторого файла XML/Json для компиляции в Graphiz / Finite State Automaton. Какие-либо предложения?
У меня есть задача, где мне нужно сделать несколько существующих снимков [которые показывают некоторые автоматы (DFA, NFA, машины Тьюринга)] и каким-то образом преобразовать их в формат, который позволяет мне использовать данные, чтобы представлять …
02 ноя '10 в 11:21
1
ответ
Правила автоматов DPDA
У меня проблемы с пониманием разницы между нпда против дпда, я думаю, что это так NPDA- из состояния можно выбрать несколько вариантов, чтобы перейти к следующему состоянию DPDA- из состояния, только 1 путь может быть взят до следующего состояния ..…
16 апр '17 в 23:07
1
ответ
Может ли детерминированный конечный акцептор начинаться в конце строки и двигаться к началу?
Если так, то как это нарисовано в виде графика? что бы вы назвали своим начальным состоянием? и вы бы нарисовали график как движущийся справа налево?
07 сен '13 в 20:15
3
ответа
Приложения конечных автоматов в информатике
Я должен выбрать тему из приложений Finite Automata для своей презентации. Каковы некоторые применения конечных автоматов в области компьютерных наук? Они могут быть в программировании.
06 дек '11 в 12:33
2
ответа
Путаница в поиске первой и последующей левой рекурсивной грамматики
Недавно я столкнулся с проблемой поиска первого и последующего S->cAd A->Ab|a Здесь я путаюсь с первым из A, который является правильным {a}, {empty,a}, поскольку в производстве A есть рекурсия слева. Я запутался, стоит ли включать пустую стро…
30 дек '14 в 06:28
1
ответ
Этот язык регулярный? {0^n 1^m | m!= n}, я не понимаю прямого доказательства по длине накачки
Есть прямой способ доказать это: если p длина накачки, и мы берем строку s = 0p1p+p! тогда неважно что такое разложение s = xyz это строка xy1+p!/|y|z будет равно 0p+p!1p+p! чего нет в языке. Я не понимаю значение y, данное здесь.
16 окт '14 в 02:12
6
ответов
Левенштейн ДФА в.NET
Добрый день, Кто-нибудь знает о "готовой" реализации реализации DFA Левенштейна (детерминированные конечные автоматы) в.NET (или легко переносимой на него)? У меня очень большой словарь с более чем 160000 различными словами, и я хочу, чтобы, учитыва…
20 окт '10 в 11:18
0
ответов
Возможно ли иметь производство с одним или несколькими терминалами в LHS рекурсивно перечислимого языка?
Поскольку рекурсивно перечислимая грамматика не ограничена, возможно ли иметь производство с одним или несколькими терминалами в LHS (т.е. без нетерминалов)?
18 ноя '17 в 08:56