Formaali vai formaalinen?

    Formaali vai formaalinen?

    Vrt. Kieliteknologia:formaali kieli sekä termin nimityksen että käsitteen osalta. Siellä (ja matematiikassa sekä tietojenkäsittelyssä) formaali kieli on tarkemmin määritelty ja on siis merkkijonojen joukko, ei mikä tahansa formaali järjestelmä. Formaalille kielelle on yleensä sen generoiva kielioppi tms. mutta sellaista ei kutsuta formaaliksi kieleksi.

    Kimmo Koskenniemi (keskustelu)4. huhtikuuta 2013 kello 19.00