形式语言的研究涉及有限符号集上的字符串集的定义，描述（生成）和解析（识别）。整数的所有二进制表示的集合，小写拉丁字母表上的所有回文集合，以及不接受自身的图灵机器的所有二进制表示的集合是形式语言的示例。
给出以下语言：L = {bi | i> 0} U {aibi | i> 0}此语言上下文免费吗？定期？我尝试过考虑，但到目前为止没有结果。.
我知道他们每个人都可以相互转换，但从未真正了解他们的应用程序是什么。通常的infix操作可读性强，但是它在哪里失败，导致...
我知道什么是安全性和活动性属性，以及LT属性的安全性和错误前缀之间的关系。我想了解关闭属性以及为什么关闭安全...
[如何将常规语法转换为有限自动机（FA）？例如，对应于以下规则语法的有限自动机会是什么样？ VN = {S，B，D}（非终端）...
在Chomsky的层次结构中，未定义递归语言集。我知道递归语言是递归可枚举语言的子集，并且所有递归语言都是可确定的。 ...
在使用PLY解析包的代码中，我遇到了这样的语法规则：def p_clauses（self，p）：“”“ clauses：子句子句”“” p [0] = p [1] + [p [2 ]]方括号的用途是什么...
[我有一个问题需要帮助：正式和非正式地描述以下语法的语言G =（Σ，N，S，P）：Σ= {a，b，c} N = {S，T ，X} S = SP = {S-> aTXc，S-> bTc，...
将正则表达式a * b * + b * a *转换为有限状态自动机
问题是给出在任何B之前出现的所有A或在所有As之前出现的所有B的正则表达式。我有一个正则表达式为a * b * + b * a *。 ...
该问题要求我在Σ= {a，b}上给出正则表达式，该表达式精确定义了以下语言。这些是; （a）L1正好有一个b，但有任意数量的as。我的尝试是：L1 =（a + ...
如何使用运算符获取TLA + / PlusCal中序列元素的总和？
[写一个这样的主意：Sum（seq）== LET F [m \ subseteq {seq [x]：x \ in DOMAIN seq}] == IF Head（seq）= << >> THEN 0 ELSE Head（seq）+ F [Tail（seq）] IN F [seq] .. ...
我正在尝试编写一个Python函数（至少在最初是这样），以生成某个长度为k（其中k> 0）的所有子序列。由于我只需要唯一的子序列，因此我将同时存储这些子序列和...
好的，所以在编写逻辑OR符号（通常是||）时应用于操作数a和b，即|| b，表示a或b可以为真，或者两者都可以为真。如果你只想要一个......
我对使用正式语言有疑问。有人可以解释一下为什么这个陈述在逻辑上是等价的吗？ f∨g∧h≡（f∨g）∧（f∨h）。我制作了两张真值表（参见...
我正在寻找一个详细的算法，描述如何在无上下文语法中为非终端符号生成前导和尾随集。我找到了这样的东西：https：//pl.scribd.com / ...
我在过去的试卷中给了我以下问题。我理解解决方案（有点？）但想知道是否有人知道解决方案是如何实际生成的（或者更容易...
表明，对于任何语言L1和L2，我们有（1）。 L1L1 ^ * = L1 ^ * L1L1 ^ * [关闭]
我正在学习自动机理论和形式语言，并对如何从我的硬件计算＃3感到困惑。以下提供了与HW的链接：https：//www.eecs.wsu.edu/~zdang/c317/Assignments / ...
编程语言是一种正式的编程语言是什么意思？哪种语言是正式的编程语言？哪些是非正式的编程语言？我还没找到......
我需要帮助为下面的语言构建左线性和右线性语法？ a）（0 + 1）* 00（0 + 1）* b）0 *（1（0 + 1））* c）（（（01 + 10）* 11）* 00）*对于a）我有以下：左线性S - ＆...
我们如何为语言L = {w |设计PDA w中010的数量大于101s的数量}以证明它是无上下文的