Documenti analoghi: Simple program schemes and formal languages