languages and formal systems 8588706