Data-driven executable language model
Ján Kollár, Peter Václavík, L’Ubomír Wassermann · 2009
Executable language model driven by data streams is proposed. At the same time, this model is language architecture developed from context-free grammar enriched with communication channels. Four types of formal communication channels and one type of informal communication channel were identified for functional languages, to provide systematic background for human-machine communication. Formal channel positions are determined by a grammar, not by a programmer. Data streams are approximately as concise as computer machine code but they are semantically equivalent to high-level programs. Using simple example of functional language we present the principle of functional language architecture construction and its driving by data stream. In particular, we show how the program is initially recorded, and how it can be repeatedly generated, either in original or in a modified version. Data streams radically decrease structural complexity of current programs, preserving their semantics, since they are not executed at low-level computer architecture but at high-level language architecture.