Type3 Language - formallang.memo

Type-3 Language / Regular Language

さまざまな特徴付け。あとでまとめる。

• (決定性|非決定性)有限オートマトン
• (左|右)線形文法
• 有限指標
• 有限モノイドからのinverse homomorphism
• MSO
• modal-μ
• ...