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 |
Description generation (CDg)
The one-sentence description above was generated by prompting gpt-5.1 with the class name and this instruction.
Instruction
generate a one-sentence description for a given conceptual class. # Response Format Return only the sentence: "Description: [one-sentence description of the conceptional class]"
Input
Class: formal language classification scheme
Generated description
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.
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 |