ONTOLOGY EXPLORER
formal language
<https://www.omg.org/spec/Commons/Languages/FormalLanguage>
プロパティと値
| プロパティ | 値 |
|---|---|
| type | Class |
| label | "formal language" |
| subClassOf | Language |
| definition | "language comprised of a set of finite-length strings (i.e., a body of words) constructed from a finite alphabet, following a set of methods of combining them (called a grammar), governed by precise syntactic rules" |
| adaptedFrom | "Mateescu, A., Salomaa, A. (1997). Formal Languages: an Introduction and a Synopsis. In: Rozenberg, G., Salomaa, A. (eds) Handbook of Formal Languages. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-59136-5_1" |
| adaptedFrom | "https://mathworld.wolfram.com/FormalLanguage.html" |