Формальным языком является язык Shtampik.com Два примера формальных языков