What Does This Notation Mean Anyway?

Following the introduction of BNF notation by Backus for the Algol 60 report and subsequent notational variants, a metalanguage involving formal "grammars" has developed for discussing structured objects in Computer Science and Mathematical Logic. We refer to this offspring of BNF as Math-...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Feller, David, Wells, Joe B, Kamareddine, Fairouz, Carlier, Sebastien
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Formal Languages and Automata Theory Computer Science - Logic in Computer Science Computer Science - Programming Languages
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!