為什么對此最受限制的語言不是 Regular 而是 Context-Free？
[英]Why is the most constraint language for this not Regular and instead, Context-Free?
這就是問題： 問：給定以下產生式規則，與以下產生式規則所描述的語言對應的喬姆斯基語言層次結構中，哪種語言是有限的或最受約束的語言？ 提供生產規則根據我的閱讀，對於自動機中的常規語言，它可以由有限自動機構造並且不能是 a^nb^n並且不能在我們必須計算字符串的一部分以生成 rest 的地方生成字符串 ...
為什么將 NFA 轉換為 DFA 很有用？
[英]Why the conversion of an NFA to DFA is useful?
有人能告訴我為什么將 NFA 轉換為 DFA 有用嗎？ 到目前為止，我發現了以下原因（我不確定）： DFA 比 NFA 更快 DFA 更易於實施有誰知道此轉換有用的另一個原因？ ...
正則表達式 | 自動機理論
[英]Regular Expression | Automata Theory
有誰知道以下語言的正則表達式： 以 000 開頭且不以 11 結尾的所有字符串的集合字符串長度為奇數且以 111 結尾的所有字符串的集合 L6 是以 00 結尾並包含 substring 11 的所有字符串的集合我非常感謝任何能在這個案子上幫助我的人給定案例中的 3 個正則表達式，以及如何從給定語言 ...
NFA 語言之星 (01 U 001 U 010)*
[英]NFA for the star of a language (01 U 001 U 010)*
此 pdf第 5 頁的問題。 給出一個識別語言的 NFA (01 U 001 U 010)* 我認為這是錯誤的，因為開頭的空字符串應該有一個額外的開始 state （接受）到 state 1 。 這就是在 Sipser 中證明星下閉包的方式。 我錯過了什么嗎？ 我認為應該是這樣的： ...
此特定設計的 NFA
[英]NFA for this specific design
我有這個NFA bellow，感覺有正則表達式(0+1)*00。 但是看着它，我也覺得我應該在 RE 中添加一些東西來實現 q2->q0 的過渡，但不太明白該怎么做。 誰能給我任何提示？ 謝謝 ...
如何在自動機上應用 Kleene star？
[英]How to apply Kleene star on automata?
我知道如何將 Kleene star 應用於語言，但我不確定如何將其應用於 DFA 或 NFA。 我很確定它需要是 epsilon NFA，初始 state 是最終狀態，最終狀態可能需要 epsilon 過渡到初始 state？ 有什么算法嗎？ 這個接受以0開頭並以1結尾的單詞的 DFA 在應用 ...
如何使用 Python 向 FSM 添加 epsilon 移動？
[英]How can I add an epsilon move to FSM using Python?
我正在使用greenery模塊來實現FSM ： 問題是：如何添加那些進出狀態 A 的 epsilon 移動？ 我找不到任何例子。 ...
當通過表格填充最小化 DFA 時，是否應該將一對最終狀態轉換為最終/未確定（死）對視為可區分的？
[英]When minimizing DFAs through table fill, should a pair of final states transition to a final/undetermined(dead) pair be treated as distinguishible?
這里 q0q5 對是最終/最終，但它們通過輸入 1 的轉換是到 q2/未定義（死）。 為了標記 x，undefined 會被認為是非最終的嗎？ 從邏輯上講這是有道理的，因為它會導致非最終死亡 state 但我不確定對於 q1q5 到 -1-> 相同，它轉到最終的 q5 ...
一個 NFA 接受最后一位數字之前沒有出現的語言
[英]A NFA accepting ;anguages whose final digit didn't appear before
給出一個非確定性有限自動機 ( NFA )，它接受以下語言：字母表 {0,1,...,9} 上的字符串集，使得最后一位之前沒有出現過。 我在introduction to automata theory languages and computation page 67 Exercise 2.3.4 ...
將 NFA 存儲到數據結構中
[英]Store NFA into data structure
我有一個 NFA，我需要使用一個數據結構（我不能使用遞歸下降解析器）來存儲它。 一旦 NFA 存儲在數據結構中，我就會得到一個字符串，根據給定的 NFA 檢查該字符串是否有效。 有人可以建議用於存儲 NFA 的數據結構嗎？ 此外，如果有任何開源 c 語言示例也會有很大幫助。 ...
將NFA轉換為DFA時如何處理epsilon轉換？
[英]How to deal with epsilon transitions while converting NFA to DFA?
我的 NFA 的起始狀態 (S0) 有 2 個到 S1 和 S2 的傳出 epsilon 轉換，並且 S1 和 S2 有進一步的轉換，並且彼此不相交。 那么在將 {S1,S2} 轉換為 DFA 時，我是否將其視為一種狀態？ ...
接受可滿足命題邏輯串的 NFA
[英]NFA that accepts satisfiable propositional logic strings
我正在做練習題，而且我已經被同一個問題困住了一段時間。 問題如下： 給定字母表x,y,z,X,Y,Z的字符串。 其中x,y,z代表原子， X,Y,Z代表它們的否定，我們想要創建一個 NFA，當字符串可滿足時接受。 字符串在 CNF 中，各個子句用&分隔。 例如，字符串xy & Z ...
CSS“轉義”語法圖混亂
[英]CSS "escape" syntax diagram confusion
查看轉義語言的語法圖： 我閱讀了第二組轉換如下： 如果下一個符號不是換行符或十六進制數字語言（或者換句話說，是除換行符或十六進制數字語言之外的任何語言），由\\符號轉換到的狀態可以轉換到接受狀態。 如果下一個符號是十六進制數字語言，由\\符號轉換到的狀態可以轉換到不同的狀態。 這不是自相 ...
尋找具有 2 個條件的 NFA
[英]Finding an NFA with 2 conditions
我想弄清楚如何編寫一個 NFA，它可以接受只有 6 個必要狀態的以下語言： {w: a 的數量是偶數或恰好是 2 個 b} 在字母表中 ∑={a, b}。 這是我對 NFA 的一個想法 ( https://prnt.sc/1ujhoiy )（圖片作為鏈接提供，因為我沒有代表張貼圖片）。 這個 N ...
在非確定性有限自動機 (NFA) 中，當有兩個或多個轉換時，如何選擇下一個分支/轉換？
[英]In Non-Deterministic Finite Automata (NFA), how is the next branch/transition selected when there are two or more transitions?
對於 NFA，當有 2 個或更多過渡狀態時，機器如何決定采取哪個過渡？ 我只能找到“猜測和驗證”方法，我們認為系統具有洞察力，並且總是使用二叉樹選擇正確的路徑。 這是唯一的方法嗎？ 我們是否也可以將其視為同時存在於兩個狀態中？ ...
構建一個僅接受單詞 baa、ab 和 abb 且不接受其他更長或更短字符串的 FA
[英]Build an FA that accepts only the words baa, ab, and abb and no other strings longer or shorter
我一直在嘗試解決這個問題一段時間來完成大學作業。 我需要為上述問題建立一個 DFA 和一個 NFA。 到目前為止，我已經能夠解決 DFA，但在多次嘗試后找不到合適的 NFA 的解決方案。 我的 DFA 針對上面提供的語言的解決方案： 我對 NFA 的嘗試如下。 我為我凌亂的筆跡道歉，但這些只是我 ...
為什么這個助手 function 給我一個未綁定的值錯誤？
[英]Why does this helper function give me an unbound value error?
我有一個輔助函數，如下所示： 現在，當我嘗試編譯它時，它在最后一行給我一個未綁定的值錯誤，說 nfa 是未綁定的值。 我只是想使用具有相同 nfa 的遞歸 function 所以我不知道為什么我一直收到這個錯誤。 我在代碼的不同部分也多次遇到此錯誤。 任何幫助表示贊賞！ ...
Python 中 {ab, abc}* 的非確定性有限自動機
[英]Non-Deterministic Finite Automata of {ab, abc}* in Python
我一直在嘗試繪制這個非確定性有限自動機： 語言{ab, abc}*狀態數不超過3的NFA，我得到下圖的解： NFA圖問題似乎是代碼邏輯，因為我的代碼總是打印“被拒絕”。如果有人可以就如何編寫此算法提供一些提示，我將不勝感激。 ...