formaalkeel 1(n)

ülesehituselt mingi loogikaarvutuse reeglitele vastav tehiskeel