在理论计算机科学中，自动机理论是对抽象“数学”机器或系统的研究以及可以使用这些机器解决的计算问题。这些抽象机器称为自动机。 （“自动机”，维基百科）
我需要为语言构建一个CFG，它可以生成包含所有符号的任何短语。 S - > ABC A - > a，b，c，d ......... z | B B - >。，？， - ，=，.... | C C - > A | epsilon我认为这是......
表明，对于任何语言L1和L2，我们有（1）。 L1L1 ^ * = L1 ^ * L1L1 ^ * [关闭]
我正在学习自动机理论和形式语言，并对如何从我的硬件计算＃3感到困惑。以下提供了与HW的链接：https：//www.eecs.wsu.edu/~zdang/c317/Assignments / ...
包含偶数0或偶数1的所有字符串。我在这里询问'或'不'和'。我想出了这个：（1 * 01 * 0）* |（0 * 10 * 1）*到目前为止......但这似乎对我来说是错误的...
我正在研究一个问题，要求我为特定语言构建DFA。我理解了所有这些，但我不确定是否应立即接受空字符串（在这种情况下，...
假设我在NuSMV中编写一个从状态S1开始的模型。我想在这个模型检查器中检查条件是否最终在所有情况下都达到状态S70。现在可视化NuSMV模型......
如果输入为1 ^ n，则输出的格式应为X ^ n 1 ^ 2n。例如，如果输入为11，则输出应为XX1111。注意通过重复数字1，数字N表示为一元数字...
设计一个接受语言L = {a ^ 2 b ^ 2n：n> = 1}的图灵机
我想设计一个接受语言L = {a ^ 2b ^ 2n：n> = 1}的图灵机：。正方形b平方（n）