Balanced Language, 2 symbole nieterminalne, zrozumienie listów

Question

Tak więc czytałem książkę "Wprowadzenie do formalnej teorii języka" i opisano język L(G) = {a^n ++ b^n | n > 0}.

Posiada następujące produkcje:

S -> ab | aSb 

I tak da następujący język:

a, ab, aabb, aaabbb, ... 

Zastanawiałem się, jak mogę używać Haskell za listowych do stworzenia tego języka. Wiem, że potrafię spisywać zrozumienie za pomocą łańcuchów, ale jestem początkującym i nie byłem pewien, w jaki sposób mogę uzyskać nieskończoną listę, jaką bym chciał z tych łańcuchów.

Wyobrażam sobie coś takiego:

[ x ++ y | x <- ["a","aa",..] y <- ["b","bb",..]] 

Answer 1

roboczych od reguły produkcji,

S -> ab | aSb 

moglibyśmy napisać

s = ["ab"] ++ [ "a" ++ x ++ "b" | x <- s ] 

tak że

~> take 5 s 
["ab","aabb","aaabbb","aaaabbbb","aaaaabbbbb"] 
it :: [[Char]] 

Twoja próba może pracować z małym edycji,

[ x ++ y | x <- ["a","aa",..] | y <- ["b","bb",..]] 

tak, że używa Parallel List Comprehensions rozszerzenie (:set -XParallelListComp w GHCi), z wyjątkiem tych wyliczeń. Ale to jest proste do naprawienia,

[ x ++ y | x <- [replicate n 'a' | n <- [1..]] 
     | y <- [replicate n 'b' | n <- [1..]]]