Запитання з тегом «automata»

Лінійна часова логіка та детерміновані автомати Büchi є незрівнянними: DBA не може виразити , а LTL не може виражати "принаймні кожен непарний лист є" a "" . Але іноді цікаво дізнатись, чи може мова DBA можна виразити в LTL.FGaFGaFGa Мені потрібен алгоритм, який вирішує, чи можна описати мову даної DBA …

10 logic  automata  linear-temporal-logic  buchi-automata 

Питання досить багато в назві. Чи є колись час, коли якась моваLLL може прийняти мінімальний DFA з nnn держави, але LRLRL^R, обернення LLL, може бути прийнято DFA з mmm штати, де m&lt;nm&lt;nm<n?

10 formal-languages  reference-request  automata  finite-automata 

Як я можу побудувати приклад DFA, який має станів, де еквівалентний NFA має станів. Очевидно, що набір DFA повинен містити всі підмножини набору NFA, але я не знаю, як почати. Будь-які пропозиції поставити мене на правильний шлях?2n2n2^nnnn

10 automata  finite-automata 

Існує теорема, яка говорить про те, що: Даний автомат скінченного стану, що має станів, якщо існує рядок , довжина якого задовольняє то мова, прийнята автоматом, нескінченна.нnnшwwn ≤ | ш | ≤ 2 n - 1н≤|ш|≤2н-1n \leq |w| \leq 2n-1 Я розумію обмеження , але я не розумію, чому обмеження є.| …

9 automata  finite-automata 

Усі три DFA, NFA та epsilon NFA дозволяють нам представляти певну регулярну мову. За допомогою будь-якого з цих уявлень ми можемо дійти до того ж регулярного виразу, чому тоді нам потрібно вивчити всі три форми подання кінцевих автоматів? Можна пояснити, що може зробити NFA, а DFA не може, тобто NFA …

9 automata  finite-automata  education 

Ми можемо сформувати DFA, приймаючи двійкові числа, ділені на нnn. Наприклад, DFA, що приймає двійкові числа, ділені на 2, можна сформувати так: Аналогічно DFA, що приймає двійкові числа, ділені на 3, може бути сформовано так: Ми можемо дотримуватися чітко визначеної процедури для формування цих типів DFA. Однак чи може бути …

9 regular-languages  automata  finite-automata  regular-expressions 

Я почав вивчати недетерміновані автомати, використовуючи книгу Хопкрофта та Уллмана . Я застряг у проблемі, яка мені була дуже цікава: Надайте недетермінованому кінцевому автомату, що приймає всі рядки, які мають однакове значення при оцінці зліва направо на правий наліво шляхом множення відповідно до наступної таблиці: ×abcaacbbaacccba×abcaaacbcabcbca\qquad \displaystyle\begin{array}{c|ccc} \times & a …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism