automata

    5热度

    1回答

    我试图理解上下文敏感的语法,我明白了为什么语言,像 {WW | w是一个字符串} {一个Ñ b ÑÇÑ | A,B,C是符号} 是不是免费的情况下,但我想知道,如果类似无类型演算语言是上下文敏感的。我希望看到一个简单但非玩具的例子(我认为上面的玩具例子)是一个上下文敏感语法的例子,它可以针对某些生产规则,例如告诉某些符号串目前在范围内(例如,当生成函数的主体时)。上下文敏感的语法是否足够强大,使得

    4热度

    1回答

    我需要一些帮助,决定是否给定的语言是有规律的,或没有上下文上下文。答案中简短的非正式解释就足够了,因此不需要使用抽象引理。 可以说我有以下lanugages: L1 = { w ∈ {a, b, c, d}* | #a(w) is even, #b(w) = 1 mod 3, w does not have a substring abc } L2 = { w ∈ {a,

    0热度

    1回答

    尽管这是对this的重新评估,但我正在谈论设计PDA。 现在,我知道我错了,因为这是一个广为人知的例子,但我在下面的PDA设计中出了什么问题? 我要接受语言{a^n b^n c^n: n>=0} 每次我遇到一个a时间推栈上的两个1的,弹出一个用于b,并弹出一个用于c和检查,如果我有一个空栈。 我所定义的转换函数(最小)为: (q0, a, Z) = (q0, 11Z) (q0, a, 1) = (

    0热度

    2回答

    如果L是一种语言定义为: L = { awa | w ∈ {a, b}* }, 是aa语言L的字符串? (注意w这里是空字符串)

    3热度

    1回答

    什么是用于检查Kripke结构上的不变量的(伪代码)算法,以便在不变量被违反的情况下,算法返回的反例具有最小长度?

    1热度

    1回答

    如果我想匹配1和0的任意组合中不包含“01”的所有字符串,我该怎么做?我知道如何找到这个模式是否在字符串中,但是如何找到不包含这种模式的匹配?由于

    5热度

    3回答

    我对这个东西真的很陌生,所以我为这里的无所不在而道歉。 构建一个Deterministic Finite Automaton DFA识别下列语言: L= { w : w has at least two a's and an odd number of b's}. 的自动执行此(at least 2 a's, odd # of b's)的每一部分都容易使分开......任何人都可以请解释一个系

    3热度

    2回答

    有没有这样的事情? 像例如,S - > ASB | ^(可能的话:^,AB,AABB,AAABBB,aaaabbbb,...) 从我所获悉,密切配合上述语法唯一的正则表达式是:A * B * 但正则表达式可以产生诸如aab,abb等词,其中a和b不相等。 有没有解决方案?喜欢的东西:A * B *如果#A#B = 编辑:我觉得没有解决这个。 这是什么正确的解释?这实际上是我家庭作业的一部分,我真的

    1热度

    1回答

    “半正规”的语法是一个只允许形式的规则: X → y X → y Y X → Y y ,其中X和Y是任何一个非终端, x和y是任何单个终端。 例如,这是一个语言的半规则语法+ B + S → a S S → a A A → A b A → b 得到半规则语法其语言不是常规语言的一个例子。一定要说出语言是什么以及它为什么不规则。

    1热度

    1回答

    我现在有一个(自然语言)语料,而这些已经采取的步骤: 产生的符号表串联胼成一个大文件后: $ ngramsymbols <corpus.txt >corpus.syms 鉴于此符号表中,转换的语料库以二进制FST归档(FAR): $ farcompilestrings -symbols=corpus.syms -keep_symbols=1 corpus.txt > corpus.far