Описание тега finite-state-automaton

Математическая модель вычислений, используемая для разработки компьютерных программ и последовательной логики.
0 ответов

Компиляция Java RegEx для конечного автомата

Теоретически, регулярные выражения эквивалентны конечным автоматам. Конечные автоматы являются хорошим способом для дальнейшего анализа, так как они могут быть минимизированы, канонизированы, сравнены и т. Д. Есть ли способ преобразовать регулярное …
4 ответа

Игра Ai с использованием Enum в качестве конечного автомата

Я хочу внедрить ai в простую игру в стиле уличных бойцов, и я хочу сделать это с помощью конечного автомата. Для простого примера этот FSM имеет состояния: Атакующий, преследующий, убегающий Из того, что я прочитал в Интернете, хорошим способом реал…
25 янв '19 в 12:58
2 ответа

НПД для языкового числа а меньше или равно в 3 раза больше числа б

Я пытаюсь построить НПД для L = {w ∈ {a, b} * | n a (w) <= 3 * n b (w)}. Это означает, что для каждого b может быть не более 3 a. Прежде всего, это то, что я сделал до сих пор. Из начального состояния мы помещаем один " a " в стек. (в конце дня нам …
2 ответа

Как преобразовать регулярное выражение в конечный автомат?

Пусть регулярное выражение; r = (a*|(ab)*)b* каковы правила преобразования этого выражения в конечный автомат?
0 ответов

Генерация всех возможных конечных автоматов

Предыстория: у нас есть язык L = {0,1} и определенное количество состояний для автоматов. Существует начальное состояние, однако для простоты все состояния могут быть конечными. ФШМ являются детерминированными. Автоматы могут содержать петли: перехо…
1 ответ

Finete State machine визуализатор

Мне нужно приложение, которое печатает / визуализирует пары ввода / вывода во время прогонов FST. Я имею в виду, что для каждого состояния fst необходимо распечатать кортеж, содержащий входные данные для этого состояния и выходные данные этого состо…
1 ответ

Автомат для сопоставления префиксов

Используя библиотеку Java-автоматов с открытым исходным кодом, например: org.apache.lucene.util.automaton или dk.brics.automaton, как я могу создать автомат для сопоставления префиксов? Например: автомат, созданный из набора строк ["lucene", "lucid"…
1 ответ

Разработка DFA (алфавит "a" и "b"): число "a" в строке должно быть кратно 3, и строка не должна содержать "aba"

Вот проблема: И вот моя линия рассуждений, когда я впервые наткнулся на это: Этот кажется трудным Найти регулярное выражение для него кажется сложным, поэтому я не могу пойти по этому пути, чтобы преобразовать регулярное выражение в DFA Поэтому я ре…
1 ответ

Конечные автоматы для автомата по обмену монет

Я пытаюсь создать таблицу для описания поведения FSA для автомата по обмену монет, описанного ниже. Есть слот, который принимает монету 50c и 2 кнопки, которые пользователь может нажать, чтобы получить монету 20c или 10c в качестве сдачи. Как только…
1 ответ

ПРОЛОГ конкретный конечный автомат

Я не могу найти ответ на следующую проблему. Автомат принимает строки типа "A:5739". или "C::399\4342)", и это напоминает мне путь к файловой системе, но я не уверен в этом. Текст задачи: Рассмотрим следующий конечный автомат, написанный на Прологе.…
08 ноя '17 в 15:38
2 ответа

Регулярные выражения (регулярные выражения) действительно регулярны?

Я понимаю, как регулярные выражения получили свое имя, и прочитал соответствующий вопрос ( Почему регулярные выражения называются "регулярными" выражениями?), Но все еще задаюсь вопросом, всегда ли регулярные выражения являются регулярными. Например…
0 ответов

Прокачка леммы для обычных языков: как найти P?

Как гласит Лемма: Например, следующий язык: Вопрос: Как мы выбираем длину P? Почему бы не позволить P = p + 1?
1 ответ

Насосная лемма для обычного языка: можем ли мы изменить первое условие на "для каждого i > 0"?

Насосная лемма из &lt; Введение_в_в_счете_компьютера &gt;" Вопрос: Можем ли мы изменить первое условие на for each i &gt; 0 вместо for each i ≥ 0?
1 ответ

Является ли доказательство леммы накачки неправильным из книги <Введение в теорию вычислений>?

Доказательство "леммы накачки" из книги " Введение в теорию вычислений": Лемма накачки: если A - обычный язык, то существует число p (длина накачки), где, если s - любая строка в A длиной не менее p, то s можно разделить на три части, s = xyz, удовл…
1 ответ

Я не могу понять, является ли этот язык регулярным, может ли он быть представлен с помощью nfa?

Этот язык регулярный? Я не могу найти решение для этого, и у меня смешанные чувства по этому поводу, кстати, я делаю это только последние 2 недели. https://i.s tack.imgur.com/Hohe5.jpg
0 ответов

В каком состоянии этот конечный автомат перейдет при чтении символа, который не принадлежит его алфавиту?

Как мы знаем, определение "конечных автоматов" таково: Тогда у нас есть этот конечный автомат, описываемый как: Тогда у нас есть заключение: Вопрос заключается в следующем: вместо того, чтобы принимать пустую строку, что делать, если строка первого …
1 ответ

Почему мой экран не обновляется, когда я нажимаю кнопку в первый раз, но впоследствии прекрасно работает?

Я впервые делаю конечные автоматы. Я попытался создать программу типа "стоп-сигнал", в которой, если вы нажмете кнопку, индикатор изменится один раз, начиная с зеленого, затем с желтого, если щелкнуть снова, а затем с красным, перед повторным циклом…
01 май '19 в 02:29
1 ответ

Как построить DFA, которая распознает набор битовых строк, который начинается с двух D?

Мне нужно помочь с этим решением, потому что я только начал изучать автоматизацию конечных состояний и не мог справиться с этой проблемой. вопрос означает, что я должен дать ввод 1101 1101 и, если да, то как показать другое состояние для перехода, е…
0 ответов

Найдите последовательность с максимальной вероятностью

Я работаю над следующей проблемой: Дан набор элементов ={1,2,3,4,5,6,7,8,9,....,100} и набор типов элементов ={a,b,c,d,e,f,g} и набор вероятностей, прикрепленный к каждому элементу s P (1_a) = 0,4, P(2_b) = 0,6, P(3_c) = 0,4, P(4_a) = 0,9, ..., P(10…
1 ответ

Как найти язык NFA

Как и выше, у меня есть граф переходов, но я не уверен, как найти его язык, мне кажется, что есть много возможностей, но я, должно быть, неправильно понимаю. Я понимаю, что любое слово, ведущее от начального к конечному состоянию, принимается. Конеч…