線形時間 形式文法 Parsing Grammars 非終端 文脈自由文法 Packrat 時相論理 ImageSize ScaleMinor AlignBars ScaleMajor PlotArea DateFormat aSb aababb Formalna Sleator aaSbb ABAB TPDL Temperly PEG 文脈自由言語 正規文法 mageSize 計算木論理 再帰下降構文解析 シングルクオート アミール・プヌーリ expr 正規言語 ペコ 線形時相論理 branching justify Parser チョムスキー階層 temporal パーサ horizontal 形式的検証 orientation Gramatika 整論理式 空文字列 構文解析 構文解析器 バックトラック LR法