Title: Elementary formal systems and formal languages