Вопросы по теме 'finite-automata'
Практические неполные по Тьюрингу языки?
Почти все используемые языки программирования - это Turing Complete , и хотя это позволяет языку представлять любые вычислимый алгоритм, он также имеет собственный набор проблемы . Поскольку все алгоритмы, которые я пишу, предназначены для...
15449 просмотров
schedule
11.07.2022
Хорошие ресурсы для изучения моделей вычислений?
Из любопытства я пытаюсь определить, какой модели вычислений система, с которой я работаю, функционально эквивалентна, и доказать эквивалентность. Чем дольше я занимаюсь этой проблемой, тем больше подозреваю, что система не эквивалентна Тьюрингу. Я...
691 просмотров
schedule
15.10.2022
Почему мой конечный автомат так долго выполняется?
Я работаю над конечным автоматом, который должен извлекать вызовы функций формы
/* I am a comment */
//I am a comment
pref("this.is.a.string.which\"can have QUOTES\"", 123456);
где извлеченные данные будут pref("this.is.a.string.which\"can...
406 просмотров
schedule
16.11.2022
Использовать goto или нет?
Этот вопрос может показаться банальным, но я попал в сложную ситуацию.
Я пытаюсь реализовать конечный автомат для анализа определенной строки в C. Когда я начал писать код, я понял, что код может быть более читабельным, если я использую метки для...
4155 просмотров
schedule
21.10.2022
Детерминантные конечные автоматы (JFLAP)
У меня есть вопрос DFA (детерминант конечных автоматов). Мы используем JFLAP для создания автоматов. Я не могу понять этот вопрос, чтобы спасти свою жизнь! Вот
«DFA для распознавания языка всех строк, которые имеют четное количество нулей и...
5528 просмотров
schedule
09.08.2022
Отображение системы детерминированного/недетерминированного состояния
Я читал в книге по недетерминированному отображению, что есть отображение из Q*∑ в 2 Q для M=(Q,∑,trans,q 0 ,F), где Q представляет собой набор состояний. Но я не могу понять, как это 2 Q ; если есть 3 состояния a , b , c , как оно...
752 просмотров
schedule
05.01.2023
Конечные автоматы и взаимоблокировки
Это моя проблема
Я знаю следы двух государственных автоматов, которые свободны от тупиков.
Я хочу узнать по трассировке (я не знаю estructure), свободна ли композиция от тупиков.
Любая теорема, которую нужно знать, возможно ли это знать?
1135 просмотров
schedule
26.04.2022
Разделить строку каждый раз, когда детерминированные конечные автоматы достигают конечного состояния?
У меня есть проблема, у которой есть решение, которое можно решить путем итерации, но мне интересно, есть ли более элегантное решение с использованием регулярных выражений и split()
У меня есть строка (которую excel помещает в буфер обмена),...
602 просмотров
schedule
08.07.2022
Построение регулярного выражения из конечных автоматов
Я пытаюсь создать регулярное выражение из конечного автомата, но обнаружил, что полностью застрял в этом. Регулярное выражение для использования выглядит следующим образом:
? = 0 или 1 * = 0 или больше += 1 или больше | = or _ = пустая строка @...
1304 просмотров
schedule
16.01.2024
Каков самый быстрый способ вычислить замыкание эпсилон?
Я работаю над программой для преобразования недетерминированных автоматов с конечным состоянием (NFA) в детерминированные автоматы с конечным состоянием (DFA). Чтобы сделать это, я должен вычислить эпсилон-замыкание каждого состояния в NFA, которое...
4905 просмотров
schedule
01.02.2023
Каков типичный размер алфавита конечных автоматов?
Не совсем уверен, что это правильный форум, но в Theoretical Computer Science было предложено перенести его сюда...
Каков типичный размер алфавита конечных автоматов?
В настоящее время я занят реализацией высокопроизводительной библиотеки FA, и...
545 просмотров
schedule
01.06.2023
Диаграмма состояний и таблица переходов для машины Мура
Я нарисовал для этой схемы машину Мили с двумя состояниями, однако я не могу нарисовать диаграмму состояний машины Мура, я не понимаю, как это сделать.
Схема выглядит следующим образом:
Схема представляет собой машину Мура с одним двоичным...
2439 просмотров
schedule
11.01.2024
Эквивалентность двух автоматов
Какой самый лучший или самый простой метод для определения эквивалентности между двумя автоматами?
То есть, если даны два конечных автомата A и B, как я могу определить, распознают ли они один и тот же язык?
Они оба детерминированы или оба...
27440 просмотров
schedule
20.08.2023
недетерминированный вопрос конечной автоматизации
Я кое-что изучаю и немного запутался в этом маленьком недетерминированном алгоритме, когда он обрабатывает 1. Я понимаю, что он разделится на бренд с q1, так как 0 или 1 перенаправят обратно, и что есть стрелка выхода к q2. равно 1, но зачем ему...
272 просмотров
schedule
13.01.2023
Применение алгебраического метода Бжозовского к данной ТВС
Ранее я задавал здесь вопрос с просьбой помочь с преобразованием графа переходов конечного автомата в регулярное выражение:
Понимание (и формирование) регулярного выражения этого конечного автомата
Благодаря пользователю Patrick87 я смог найти...
1815 просмотров
schedule
01.03.2023
Как следует действовать, чтобы доказать (или найти), являются ли два регулярных выражения одинаковыми или эквивалентными?
Например, в данном мне задании нас просили выяснить, равны ли два регулярных выражения или нет.
(a+b+c)* and ((ab)**c*)*
У меня вопрос, как это сделать? Если я нарисую графики переходов для обоих, а затем прогоню через них несколько строк и...
14515 просмотров
schedule
08.03.2023
построить недетерминированные конечные автоматы
Делаю рукописный лексер. Мне нужно нарисовать один недетерминированный конечный автомат, который содержит три конечных автомата, сделанных ранее. Я сделал их для таких ключевых слов, как самолет, облако, взлетно-посадочная полоса. Мне нужна помощь,...
411 просмотров
schedule
06.02.2023
Следующие шаги по созданию DAWG приводят к созданию Trie. Почему?
Я пытаюсь реализовать набор функций, которые создают DAWG непосредственно в линейное время для некоторых функций поиска, которые я кодирую для личного проекта. Я прочитал эту статью , которая детализирует идею за DAWG и даже предоставляет псевдокод...
459 просмотров
schedule
10.07.2023
Регулярное выражение (а?) * не экспоненциальное?
В настоящее время я изучаю проблему регулярных выражений, которые могут выполняться в экспоненциальное время при сопоставлении с определенным вводом, например, как (a*)* , так и (a|a)* потенциально демонстрируют ' катастрофический поиск с возвратом...
550 просмотров
schedule
04.04.2023
Как я могу построить конечные автоматы
Мне нужно создать детерминированный конечный автомат, принимающий набор строк с четным числом 1 и оканчивающийся на 0. Должен ли я включать 0 в качестве строки из этого набора? и как я могу это сделать?
1013 просмотров
schedule
12.06.2024