संतुलित भाषा, 2 गैर-टर्मिनल प्रतीकों, सूची समझ

Question

तो, मैं एक पुस्तक "औपचारिक भाषा सिद्धांत का परिचय" पढ़ रहा था और यह एक भाषा L(G) = {a^n ++ b^n | n > 0} का वर्णन करता है।

यह निम्न प्रस्तुतियों है:

S -> ab | aSb 

और इसलिए निम्न भाषा का उत्पादन होगा:

a, ab, aabb, aaabbb, ... 

मैं सोच रहा था कि कैसे मैं हास्केल की सूची समझ इस्तेमाल कर सकते हैं इस भाषा बनाने के लिए। मुझे पता है कि मैं तारों के साथ सूची समझ कर सकता हूं, लेकिन मैं बहुत शुरुआत करने वाला हूं और मुझे यकीन नहीं था कि मैं इन तारों की तरह एक अनंत सूची कैसे प्राप्त कर सकता हूं।

मैं की तरह कुछ कल्पना कर रहा हूँ:

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

Answer 1

उत्पादन शासन से काम करते हुए,

S -> ab | aSb 

हम

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

तो

कि

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

लिख सकता है 0

एक छोटे से संपादित के साथ काम कर सकता था आपका प्रयास,

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

इतना है कि यह Parallel List Comprehensions विस्तार (GHCi में :set -XParallelListComp), enumerations के अलावा का उपयोग करता

। लेकिन यह ठीक करना आसान है,

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