Zobrazit v EDS

Varphi: a description language for Turing machines

Uloženo v:

Podrobná bibliografie
Název:	Varphi: a description language for Turing machines
Autoři:	El-Sheikha, Hassan, Mahmoud, Mohammad A.
Informace o vydavateli:	Western Canada Conference of Computing Education, 2025.
Rok vydání:	2025
Témata:	Computer science--Study and teaching, Turing machines, Programming languages (Electronic computers), Computable functions
Popis:	Conventional representations of Turing machines often overwhelm students of computability theory and obscure fundamental computational ideas. Varphi is a domain-specific language designed to streamline Turing machine specification with a minimalist syntax and integrated debugging tools. In preliminary classroom trials involving 184 participants tackling deliberately challenging tasks, 88% of students successfully completed them using Varphi, highlighting the tool’s potential utility. This paper presents a technical overview of Varphi and analyzes its pedagogical benefits.
Druh dokumentu:	Article
Jazyk:	English
DOI:	10.60770/wzt9-s649
Rights:	CC BY
Přístupové číslo:	edsair.doi...........5513e5778af8e4978f0945e30bd691e6
Databáze:	OpenAIRE

Popis
Abstrakt:	Conventional representations of Turing machines often overwhelm students of computability theory and obscure fundamental computational ideas. Varphi is a domain-specific language designed to streamline Turing machine specification with a minimalist syntax and integrated debugging tools. In preliminary classroom trials involving 184 participants tackling deliberately challenging tasks, 88% of students successfully completed them using Varphi, highlighting the tool’s potential utility. This paper presents a technical overview of Varphi and analyzes its pedagogical benefits.
DOI:	10.60770/wzt9-s649