L={ a^nb^m: n <= m+3, n,m>=0} 的 CFG
[英]CFG for L={ a^n b^m : n <= m+3 , n,m>=0}
問題描述
我想找到 L={ a^nb^m: n <= m+3, n,m>=0} 的上下文無關語法
到目前為止我所擁有的
S -> AAAB
A -> a | ε
B -> aBb | Bb | ε
這有道理嗎？
1 個解決方案
解決方案1
0 已采納 2022-09-15 11:18:49
首先，這個 CFG 應該可以正常工作但下面的 CFG 更具可讀性：
S -> aSb | A | B
A -> a | aa | aaa | ε
B -> bB | ε
L = {a ^ nb ^ nc ^ md ^ m：n> = 1，m> = 1} U {a ^ nb ^ mc ^ md ^ n：n> = 1，m> = 1} isRegular？
[英]L = { a^n b^n c^m d^m : n >= 1, m >= 1 } U { a^n b^m c^m d^n : n >= 1, m >= 1 } isRegular?
L{a^nb^mc^t where t>0,m>0,n>2} 的上下文無關文法
[英]Context free grammar for L{a^n b^m c^t where t>0,m>0,n>2}
語言L = {a ^（n）b ^（m）c ^（k）的無上下文語法：m = | i-k |}
[英]Context-free grammar for the language L = {a^(n)b^(m)c^(k): m = |i - k|}
是 L = {a^mb^nc^k | if (m=n) then (n=k) } CFL 與否？
[英]Is L = {a^mb^nc^k | if (m=n) then (n=k) } CFL or not?
{a*b*c*} 的上下文無關文法 - {a^nb^nc^n | n >=0}
[英]Context free grammar for {a*b*c*} - {a^n b^n c^n | n >=0}
L = a^nb^n 的確定性下推自動機 | n >=0) Python 程序
[英]Deterministic Pushdown Automata for L = a^nb^n | n >=0) Python Program
聲明:本站的技術帖子網頁，遵循CC BY-SA 4.0協議，如果您需要轉載，請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.
相關問題
CFG for a^nb^3m c d^mef^2n 與 m, n > 0
L = {a ^ nb ^ nc ^ md ^ m：n> = 1，m> = 1} U {a ^ nb ^ mc ^ md ^ n：n> = 1，m> = 1} isRegular？
L{a^nb^mc^t where t>0,m>0,n>2} 的上下文無關文法
語言L = {a ^（n）b ^（m）c ^（k）的無上下文語法：m = | i-k |}
是 L = {a^mb^nc^k | if (m=n) then (n=k) } CFL 與否？
a ^ nb ^ m的上下文無關文法
L = {b ^ nc ^ na ^ n，n> = 1}的上下文無關文法
{a*b*c*} 的上下文無關文法 - {a^nb^nc^n | n >=0}
L = a^nb^n 的確定性下推自動機 | n >=0) Python 程序
Prolog程序識別上下文無關文法a ^ nb ^ n
相關標簽