CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgo:
Formal_language
Property
Value
rdf:
type
owl:
Class
rdfs:
label
Formal language
rdfs:
subClassOf
Constructed language
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/Category:Formal_languages
is
rdf:
type
of
Deterministic context-free language
Star height
Boolean grammar
Grammar systems theory
Symbol (formal)
Attribute grammar
Range concatenation grammar
Conjunctive grammar
Deterministic pushdown automaton
Cone (formal languages)
Ludwig Staiger
Rewriting
Star height problem
Terminal and nonterminal symbols
Abstract rewriting system
Smallest grammar problem
Van Wijngaarden grammar
Emptiness problem
Syntax (logic)
Chomsky–Schützenberger enumeration theorem
Post canonical system
WFF 'N PROOF
Synchronous context-free grammar
Sparse language
Greibach's theorem
Prefix grammar
Algorithmic learning theory
Antimatroid
String operations
International Conference on Developments in Language Theory
Local language (formal language)
Monoid factorisation
Syntactic monoid
Leftist grammar
Maximal pair
Signed-digit representation
Categorial grammar
Generalized star-height problem
Omega-regular language
S-attributed grammar
Probabilistic context-free grammar
ECLR-attributed grammar
Equivalence problem
Abstract family of languages
Trace theory
Finite thickness
Bigram
Abstract family of acceptors
Abstract syntax tree
Adaptive grammar
Gesture Description Language
Unary numeral system
Top-down parsing language
Deterministic context-free grammar
Chomsky normal form
Empty string
Abstract semantic graph
Affix grammar
Alphabet (formal languages)
Turing machine
Splicing rule
Head grammar
Indexed grammar
Normal form (abstract rewriting)
Regular grammar
Closest string
Critical exponent of a word
Formation rule
Growing context-sensitive grammar
Morphic word
Production (computer science)
Regular tree grammar
Straight-line grammar
Operator-precedence grammar
Controlled grammar
Tree (automata theory)
Proof (truth)
Descriptive interpretation
Free monoid
LL grammar
Regulated rewriting
L-attributed grammar
Literal movement grammar
Mildly context-sensitive grammar formalism
Chomsky–Schützenberger representation theorem
Pattern language (formal languages)
Compiler Description Language
Kleene star
Montague grammar
Star-free language
Unrestricted grammar
History monoid
SCIgen
Cross-serial dependencies
Formal proof
Descriptional Complexity of Formal Systems
Formal system
Interchange lemma
Hall word
Unavoidable pattern
... and more
is
rdfs:
subClassOf
of
Metalanguage
Formal language used for Indian scriptures
Computer language