LALR法

Multi tool use
Multi tool use




LALR法（英: LALR parser）は、構文解析手法の一種であり、Lookahead（先読み）LR法の略である。単純LR法（SLR法）の構文解析器よりも多くの文脈自由文法を扱うことができる。構文解析表の大きさがあまり大きくなく、多くの文法を扱えることから、最も一般的な構文解析器となっている。yacc や GNU bison といったパーサジェネレータの多くもこの種の構文解析器を生成する。


SLR法と同様、LALR法では LR(0) の構文解析表を必要とする。SLR 法では Follow-set を使って reduce アクションを構築するのに対して、LALR法では Lookahead-set を使う。Lookahead-set は構文解析により特化している。Follow-set は関連する記号の集合だが、Lookahead-set はLR(0)アイテムと構文解析状態に特化した集合である。


ある LR(0) 文法での状態 S におけるアイテム I の Follow-set は、文法上 I の左辺の非終端記号の後に出現可能な全記号を含む。一方、状態 S におけるアイテム I の Lookahead-set は、状態 S で構文解析を開始したときの I の右辺に出現可能な記号のみを含む。follow(I) は左辺が同じ I である全 LR(0)アイテムの Lookahead-set の和集合と等価であり、状態やアイテムの右辺は考慮されていない。従って、Follow-set からは文脈情報が失われている。Lookahead-set は特定の構文解析向けであるため、さらに選別が可能で、Follow-set よりも詳細な識別が可能となる。



参考文献



  • Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. Addison--Wesley, 1986. （LALR(1)構文解析器の構築に関する従来からの技法の解説）

  • Frank DeRemer and Thomas Pennello. Efficient Computation of LALR(1) Look-Ahead Sets. ACM Transactions on Programming Languages and Systems (TOPLAS) 4:4, pp. 615–649. 1982. （より効率的な LALR(1)構文解析器構築技法の説明）

  • Richard Bornat Understanding and Writing Compilers, Macmillan, 1979. （構文解析と構文解析表などの基本原理を解説）




EQoj2z9o6ycXwqx60u8JJbU
-
9A sYfs03RRK0OsgLPGH,rXx0b2mq4ivWjlEJOvvxzN rD1DS Edzx7vceZUIMf 6

Popular posts from this blog

CARDNET

Image
CARDNET は日本カードネットワークが運営するクレジット決済ネットワーク。日本カードネットワークの略称としてもCARDNETが使用されている。 事件・事故 2017年4月15日午前11時8分からクレジットカードの決済がしづらくなる障害が発生した。障害は同日午後5時18分に復旧した。原因は、複数あるCARDNETセンターの拠点のうち1つで、2重化してあるL3スイッチの片方が故障し、1系統にトラフィックが集中したことによる輻輳が発生したため。対処としては、故障したL3スイッチ交換とシステム再起動が行われた [1] 。 出典 ^ 金子寛人 ( 2017年4月17日 ). “CARDNETのクレジット決済に6時間強障害、原因はL3スイッチ故障”. 日経コンピュータ. 2018年10月18日 閲覧。 この項目は、コンピュータに関連した 書きかけの項目 です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:コンピュータ/P:コンピュータ）。 この項目は、経済に関連した 書きかけの項目 です。この項目を加筆・訂正などしてくださる協力者を求めています（ポータル 経済学、プロジェクト 経済）。 This page is only for reference, If you need detailed information, please check here
Read more

陸軍士官学校卒業生一覧 (日本)

陸軍士官学校卒業生一覧 (日本) （りくぐんしかんがっこうそつぎょうせいいちらん（にほん））は、陸軍士官学校 (日本)の卒業生・修了生の一覧である。なお、原則としてWikipediaに記事が存在する人物を掲載する。陸軍航空士官学校関係者については同項目を参照。 目次 1 卒業生等 1.1 陸軍兵学寮 1.2 士官生徒 1.2.1 旧1期 1.2.2 旧2期 1.2.3 旧3期 1.2.4 旧4期 1.2.5 旧5期 1.2.6 旧6期 1.2.7 旧7期 1.2.8 旧8期 1.2.9 旧9期 1.2.10 旧10期 1.2.11 旧11期 1.3 士官候補生以降 1.3.1 1期 1.3.2 2期 1.3.3 3期 1.3.4 4期 1.3.5 5期 1.3.6 6期 1.3.7 7期 1.3.8 8期 1.3.9 9期 1.3.10 10期 1.3.11 11期 1.3.12 12期 1.3.13 13期 1.3.14 14期 1.3.15 15期 1.3.16 16期 1.3.17 17期 1.3.18 18期 1.3.19 19期 1.3.20 20期 1.3.21 21期 1.3.22 22期 1.3.23 23期 1.3.24 24期 1.3.25 25期 1.3.26 26期 1.3.27 27期 1.3.28 28期 1.3.29 29期 1.3.30 30期 1.3.31 31期 1.3.32 32期 1.3.33 33期 1.3.34 34期 1.3.35 35期 1.3.36 36期 1.4 陸軍士官学校本科以降 1.4.1 37期 1.4.2 38期 1.4.3 39期 1.4.4 40期 1.4.5 41期 1.4.6 42期 1.4.7 43期 ...
Read more

dbus: [system] Failed to activate service 'org.freedesktop.login1': timed out

Image
18 3 I keep getting the following error messages in the syslog of one of my servers: # tail /var/log/syslog Oct 29 13:48:40 myserver dbus[19617]: [system] Failed to activate service 'org.freedesktop.login1': timed out Oct 29 13:48:40 myserver dbus[19617]: [system] Activating via systemd: service name='org.freedesktop.login1' unit='dbus-org.freedesktop.login1.service' Oct 29 13:49:05 myserver dbus[19617]: [system] Failed to activate service 'org.freedesktop.login1': timed out Oct 29 13:49:05 myserver dbus[19617]: [system] Activating via systemd: service name='org.freedesktop.login1' unit='dbus-org.freedesktop.login1.service' They seem to correlate to FTP Logins on the ProFTPd daemon: # tail /var/log/proftpd/proftpd.log 2015-10-29 13:48:40,433 myserver proft...
Read more