Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,213,898 papers from all fields of science
Search
Sign In
Create Free Account
Formal language
Known as:
Language (disambiguation)
, Formal linguistic analysis
, Formal expression
Expand
In mathematics, computer science, and linguistics, a formal language is a set of strings of symbols that may be constrained by rules that are…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
AC (complexity)
Adaptive grammar
Attempto Controlled English
Berman–Hartmanis conjecture
Expand
Broader (1)
Theoretical computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
1997
Highly Cited
1997
Handbook of Formal Languages
G. Rozenberg
,
A. Salomaa
Springer Berlin Heidelberg
1997
Corpus ID: 41231261
The theory of formal languages is the oldest and most fundamental area of theoretical computer science. It has served as a basis…
Expand
Highly Cited
1997
Highly Cited
1997
An Introduction to Formal Languages and Automata
P. Linz
1997
Corpus ID: 59314213
Formal languages, automata, computability, and related matters form the major part of the theory of computation. This textbook is…
Expand
Highly Cited
1994
Highly Cited
1994
A Theory of Timed Automata
R. Alur
,
D. Dill
Theoretical Computer Science
1994
Corpus ID: 18129339
Highly Cited
1993
Highly Cited
1993
Larch: Languages and Tools for Formal Specification
J. Guttag
,
J. Horning
,
S. Garland
,
K. Jones
,
A. Modet
,
Jeannette M. Wing
Texts and Monographs in Computer Science
1993
Corpus ID: 13066418
This monograph addresses the use of formal specification languages and supporting tools. Concentrating on the Larch specification…
Expand
Highly Cited
1989
Highly Cited
1989
Regulated Rewriting in Formal Language Theory
J. Dassow
,
G. Paun
1989
Corpus ID: 53727088
It is well-known that context-free grammars cannot cover all aspects of natural languages, progamming languages and other related…
Expand
Highly Cited
1988
Highly Cited
1988
An Introduction to Formal Language Theory
R. Moll
,
M. Arbib
,
A. Kfoury
Texts and Monographs in Computer Science
1988
Corpus ID: 29304912
This voume combines An Introduction to Formal Language Theory with issues in computational linguistics. The book begins with…
Expand
Highly Cited
1979
Highly Cited
1979
Introduction to Automata Theory, Languages and Computation
J. Hopcroft
,
J. Ullman
1979
Corpus ID: 31901407
Highly Cited
1978
Highly Cited
1978
Introduction to formal language theory
M. Harrison
1978
Corpus ID: 57856433
From the Publisher: Formal language theory was fist developed in the mid 1950's in an attempt to develop theories of natural…
Expand
Highly Cited
1975
Highly Cited
1975
ENGLISH AS A FORMAL LANGUAGE
R. Montague
1975
Corpus ID: 60562957
Highly Cited
1969
Highly Cited
1969
Formal languages and their relation to automata
J. Hopcroft
,
J. Ullman
Addison-Wesley series in computer science and…
1969
Corpus ID: 29997534
From the Preface (See Front Matter for full Preface) The study of formal languages constitutes an important subarea of…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE