2
ответа

Реализуйте конечный автомат в ООП

Я думаю о реализации программы с конечным автоматом на языке ООП как Java или C++. Что было бы Вы думать быть лучшим способом реализовать это с управляемой суммой...
вопрос задан: 16 June 2010 13:00
0
ответов

Разработка недетерминированного конечного автомата на С++ (неправильный вывод)

Я выполняю задание по моделированию недетерминированного конечного автомата, как я объясняю в этом посте. У меня этот ввод читается из файла tarea4.in: 1 6 8 0 2 2 5 0 0 а 0 1 а 1 1 б 1 2 с 1 3 с ...
вопрос задан: 23 May 2017 12:01
0
ответов

Реализация кода для имитации недетерминированного конечного автомата на С++

Я выполняю задание по теории автоматов, в котором я должен определить, принимается ли слово функцией перехода для детерминированного конечного автомата. У меня есть этот входной файл: 6 8 0 2 ...
вопрос задан: 4 July 2016 14:06
0
ответов

Конечный автомат в Haskell

Как хорошо представить конечный автомат в Haskell? Как будет выглядеть тип данных? В нашем колледже автоматы определялись как набор из пяти элементов (Q, X, delta, q_0, F), где Q — множество...
вопрос задан: 21 June 2013 17:53
0
ответов

Масштабируемость aho corasick

Я хочу найти в текстовом документе вхождения ключевых фраз из базы данных ключевых фраз (извлеченных из заголовков статей в Википедии). (т. е. учитывая документ, я хочу выяснить, есть ли какая-либо из фраз ...
вопрос задан: 24 December 2012 22:30
0
ответов

Существуют ли монады, которые можно использовать как автомат?

Я пишу преобразователь потока из некоторого типа входных данных в тип выходных данных. Ввод осуществляется пользователем, поэтому между событиями есть некоторое время. Поскольку для каждого ввода требуется некоторый ресурс ...
вопрос задан: 8 December 2011 19:02
0
ответов

Эквивалентность двух автоматов

Какой из них лучший или самый простой метод определения эквивалентности между двумя автоматами? Т.е. если даны два конечных автомата A и B, как я могу определить, распознают ли оба один и тот же язык? Они ...
вопрос задан: 1 August 2011 22:51