如何在Z3中建模构造？
给定这样的结构： struct MyStruct { uint[10] a; uint b; bool c; }; Mystruct m; 我的问题是如何使用 z3 来建模变量 m？一个简单的解决方案是将 m …
如何识别该语言是常规语言还是上下文无关语言
例如，这种语言是常规语言还是上下文无关语言？ 一方面，n 不能小于 m，但另一方面，您无法计算 n 和 m。 {(ab)^n (ab)^m | n>=m>=0} …
找到Reg.表达式。超过 {0,1,2}，因此字符串的最后一个符号是字符串 mod 3 上到目前为止的符号之和。
我正在自学正式语言（Aho's，Hopcroft），但我在正则表达式方面遇到了困难。 我已经能够处理简单的任务，但这一项提出了挑战，至少对我来说。如果到目…
为什么正则语言的补语仍然是正则语言？
根据我的教科书，只要 L1 是正则语言，L1 = A* - L1 的补集就是正则语言。 A* 不是还包括上下文无关语言、上下文相关语言和递归可枚举语言吗？ A*-L1 …
找到包含字母表 {a, b} 上的子字符串 aba 的字符串的正则表达式？ （形式语言理论）
这些问题要求找到包含字母表 {a, b} 上的子字符串 aba 的字符串的正则表达式。 这是否意味着任何内容都可以在 aba 之前/进行，以便正则表达式为： (aU…
如何从正则表达式中找到语言？
我如何在字母表 {a, b} 上找到以下正则表达式的语言？ aUb* (ab*Uc) ab*Ubc* a*bc*Uac 编辑：在我疯狂地被否决之前，如果有人能向我展示解决这些问题…
