Formal Language Description Languages for Computer Programming: ProceedingsThomas B. Steel |
Contents
A Caracciolo On the concept of formal linguistic systems | 1 |
133 | 25 |
25 | 132 |
Copyright | |
6 other sections not shown
Other editions - View all
Common terms and phrases
abstract ALGOL 60 algorithm alphabet ambiguity applied assembly assembly language assignment Backus Normal Form basic block called CARACCIOLO characters Chomsky compiler Cond contains context-free grammar context-free languages corresponding CUCH declarations defined definition denote describe elements equivalent evaluation example finite formal grammatical system formal language formal linguistic systems formulas function GARWICK given GORN goto grammar graph guage identifier instruction integer interpretation L-value label machine mapping mathematical MCCARTHY means metalanguage Micro-ALGOL n-tuple natural languages natural numbers notation operator paper parameters parsing phrase possible prefix preprocessor primitive problem procedure processor Prog programming language properties pushdown pushdown automata question recursive result rules semantics sequence set of strings source string specified statement structure subset symbols syntactic syntax terminal symbols theorem things tion transformation translation well-formed expression WIJNGAARDEN word write