JUCS - Journal of Universal Computer Science 5(9): 622-631, doi: 10.3217/jucs-005-09-0622
Type Specification by Regular Expressions
expand article infoLoutfi Soufi
‡ University of Bourgogne, Lirsia, Fac. Sciences, Dijon, France
Open Access
Generally, programming problems are formally described as function computation problems. In this paper they are viewed as language recognition problems. More precisely, we sugget to specify types, and programs using the concept of languages of concatenation of level n, i.e, languages built from regular languages on which language transformation operations are applied to them. Regular languages denoted by regular expressions allow an easy connection between those languages of concatenation and programming. This connection is naturally done via recurrence relations. We explain our approach through some examples.