Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,943,598 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.
2010
2010
SCFG Decoding Without Binarization
Mark Hopkins
,
Greg Langmead
Conference on Empirical Methods in Natural…
2010
Corpus ID: 4895452
Conventional wisdom dictates that synchronous context-free grammars (SCFGs) must be converted to Chomsky Normal Form (CNF) to…
Expand
Highly Cited
2008
Highly Cited
2008
Ontology Matching with CIDER: Evaluation Report for the OAEI 2008
J. Gracia
,
E. Mena
Organizational Memories
2008
Corpus ID: 1618499
Ontology matching, the task of determining relations that hold among terms of two different ontologies, is a key issue in the…
Expand
2008
2008
Autonomic trust reasoning enables misbehavior detection in OLSR
A. Adnane
,
Rafael Timóteo de Sousa Júnior
,
C. Bidan
,
L. Mé
ACM Symposium on Applied Computing
2008
Corpus ID: 14827524
Ad Hoc networks do not rely on any centralized administration or fixed network infrastructure and their nodes establish a routing…
Expand
Highly Cited
2007
Highly Cited
2007
Substring-Based Transliteration
Tarek Sherif
,
Grzegorz Kondrak
Annual Meeting of the Association for…
2007
Corpus ID: 12223441
Transliteration is the task of converting a word from one alphabetic script to another. We present a novel, substring-based…
Expand
2007
2007
Identification of Languages and Encodings in a Multilingual Document
Anil Kumar Singh
,
Jagadeesh Gorla
2007
Corpus ID: 42789351
Text on the Web is available in numerous languages and encodings, often not according to any standards. The number of…
Expand
2005
2005
Foundations for MDA-based Forward Engineering
L. Favre
Journal of Object Technology
2005
Corpus ID: 2096000
Model Driven Architecture (MDA) is an emerging technology that is supposed to provide a technical framework for information…
Expand
Highly Cited
1998
Highly Cited
1998
Spontaneous Lexicon Change
Luc Steels
,
F. Kaplan
Annual Meeting of the Association for…
1998
Corpus ID: 913321
The paper argues that language change can be explained through the stochasticity observed in real-world natural language use…
Expand
1992
1992
A logical model of competence and performance in the human sentence processor
M. Crocker
1992
Corpus ID: 5559488
This work is concerned with the way in which principled theories of syntax and modular theories of mind may participate in an…
Expand
1991
1991
A Well-Defined Estelle Specification for the Automatic Test Generation
Do Y. Lee
,
Jai-Yong Lee
IEEE Trans. Computers
1991
Corpus ID: 206391116
The characteristics of the Estelle specification language are analyzed and a well-defined specification, a restricted form of an…
Expand
1986
1986
The Manufacturing Game: A Formal Approach to Manufacturing Software
A. Naylor
,
M. Maletz
IEEE Transactions on Systems, Man and Cybernetics
1986
Corpus ID: 24818136
A formal modeling system intended for modeling the flow of parts, tools, information, and material on the factory floor is…
Expand