Формализованный языкстатья Статья в энциклопедии