метамова meta-language 2 УДК 004.8 2 метаязык 2 0-languages 1 0-мови 1 0-языки 1 Argumentative functions 1 Communicative functions 1 Deduction 1 Descriptive prescriptive functions 1 Empirical knowledge 1 Explanation 1 Functions of scientific theory 1 Induction 1 Information computer 1 Meta-language 1 Prediction 1 Problem 1 Theoretical knowledge 1 Turing machines 1 UDC 004.424 1 UDC 004.8 1 Understanding 1 context languages 1 context-free languages 1 definition 1 formal description of languages 1 list 1 predicate 1