formal language classification scheme
C720
concept
A formal language classification scheme is a systematic framework for categorizing formal languages based on their generative or recognitional power, typically using hierarchies such as the Chomsky hierarchy.
All labels observed (3)
| Label | Occurrences |
|---|---|
| formal language | 6 |
| formal grammar framework | 1 |
| formal language classification scheme canonical | 1 |
Instances (8)
| Instance | Via concept surface |
|---|---|
| operator grammar | formal grammar framework |
|
CCS (Calculus of Communicating Systems)
surface form:
CCS
|
formal language |
| Concept Script | formal language |
| CQL | formal language |
| OWL 2 functional-style syntax | formal language |
| Chomsky hierarchy | — |
| join-calculus | formal language |
|
CCS
surface form:
Calculus of Communicating Systems
|
formal language |