Abstract
Backus [1] has developed an elegant method of defining well-formed formulas for computer languages such as ALGOL. It consists of (our notation is slightly different from that of Backus):
A finite alphabet:
a
1
,
a
2
, …,
a
t
;
Predicates:
P
1
,
P
2
, …,
P
ϵ
;
Productions, either of the form (a)
a
j
∈
P
i
;
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Statically Resolvable Ambiguity;Proceedings of the ACM on Programming Languages;2023-01-09
2. Parglare: A LR/GLR parser for Python;Science of Computer Programming;2022-02
3. Resolvable ambiguity: principled resolution of syntactically ambiguous programs;Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction;2021-02-27
4. Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars;New Generation Computing;2020-04-29
5. Implementation of Tamias to Check Production Rules for Parsing Expression Grammar;Journal of Robotics, Networking and Artificial Life;2019