> -- alexus писал(а):
> Да, конечно. Практически любой язык является системой. Хорошо, если бы язык программирования был строго формальной системой...Тут недавно говорили проограничениятьюринг-полного языка... не знаю, насколько это точно про формальность (прежде всего - критерии математические или какие имеются в виду?).