在运行时创建 DFA.多少个州

Creating a DFA at run time. How many states?

本文关键字:多少 DFA 运行时 创建      更新时间:2023-10-16

我目前正在开发一个程序,该程序将采用一种语言的英文描述,然后使用该描述为这些规范创建DFA。我允许某些操作,例如{w | w开头有子字符串01}和其他选项,例如偶数奇数子字符串,比k子字符串更少或完全少等。用户还选择字母表。

我的问题是我怎么知道我需要多少个状态? 由于用户给了我我的字母表和规则,因此在运行时之前我什么都不知道。我以前创建过 DFA/转换表,但在这些情况下,我知道我的 DFA 是什么,并且可以在类中声明它或将其静态。我应该使用5图皮尔(Q,∑,δ,q0,F(吗?还是采取不同的方法?任何帮助我解决这个问题都是值得赞赏的。

我的问题是我怎么知道我需要多少个州?

你不会。

您可以将转移函数表示为 (q, σ( ∈ (Q, Σ( 到 q ∈ Q 对的std::unordered_map

using state = int;
using symbol = char;
using tranFn = std::unordered_map<std::pair<state, symbol>, state>;
// sets up transition function, the values can be read at runtime
tranFn fn;
fn[{0, 'a'}] = 1;
fn[{0, 'b'}] = 2;
fn[{1, 'a'}] = 1;
fn[{1, 'b'}] = 0;
fn[{2, 'a'}] = 2;
fn[{2, 'b'}] = 2;
// run the dfa
state s = 0;
symbol sym;
while(std::cin >> sym)
    s = fn[{s, sym}];
std::cout << s;

顺便说一句,如果 1 是上述 DFA 中的接受状态,则它完全接受 a(a + ba(*