languages and formal systems 4577916