A Pedagogical Semantics-Directed Metalanguage
Author
Saioc, Georgian-Vlad
Term
4. term
Education
Publication year
2020
Submitted on
2020-06-12
Pages
114
Abstract
Rapporten introducerer et metasprog baseret på naturlig semantik, udviklet med undervisningsmæssige formål for øje. Et metasprog er et sprog, der bruges til at beskrive andre sprog eller systemer. Naturlig semantik er en formel ramme, der udtrykker betydning og adfærd med klare, regelbaserede beskrivelser. Fokus i rapporten er at præsentere specifikationerne for metasproget og at forklare den underliggende implementering, der realiserer disse specifikationer.
This report introduces a metalanguage based on natural semantics, developed with pedagogical aims in mind. A metalanguage is a language used to describe other languages or systems. Natural semantics is a formal framework that expresses meaning and behavior through clear, rule-based descriptions. The report focuses on presenting the specifications of the metalanguage and explaining the underlying implementation that puts these specifications into practice.
[This summary has been rewritten with the help of AI based on the project's original abstract]
Keywords
Documents