【计】 formal semantic language; FSL
【计】 formal definition; formal semantics
language; parole; talk【计】 EULER EULER; L; language; LUCID LUCID; Modula; vector FORTRVN【医】 speech