Skip to search formSkip to main contentSkip to account menu

Formal language

Known as: Language (disambiguation), Formal linguistic analysis, Formal expression 
In mathematics, computer science, and linguistics, a formal language is a set of strings of symbols that may be constrained by rules that are… 
Wikipedia (opens in a new tab)

Related topics

Related topics

49 relations
AC (complexity)Adaptive grammarAttempto Controlled EnglishBerman–Hartmanis conjecture

Broader (1)

Theoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Elements of the formal model big date
The article proposes and describes the elements of the generalized formal model of big data. It is analyzed the peculiarities of… 
Highly Cited
2008
Highly Cited
2008
Better Alignments = Better Translations?
Automatic word alignment is a key step in training statistical machine translation systems. Despite much recent work on word… 
Highly Cited
2008
Highly Cited
2008
Ontology Matching with CIDER: Evaluation Report for the OAEI 2008
Ontology matching, the task of determining relations that hold among terms of two different ontologies, is a key issue in the… 
Highly Cited
2007
Highly Cited
2007
Substring-Based Transliteration
Transliteration is the task of converting a word from one alphabetic script to another. We present a novel, substring-based… 
Highly Cited
2005
Highly Cited
2005
Efficient Secure Group Signatures with Dynamic Joins and Keeping Anonymity Against Group Managers
The demonstration of an efficient construction proven secure in a formal model that captures all intuitive security properties of… 
Highly Cited
2005
Highly Cited
2005
The Validity of Administering Large-Scale Content Assessments to English Language Learners: An Investigation From Three Perspectives
The findings and opinions expressed in this report do not reflect the positions or policies of the iii ACKNOWLEDGMENTS First, we… 
2004
2004
Measuring Anonymity in a Non-adaptive, Real-Time System
Anonymous message transmission should be a key feature in network architectures ensuring that delivered messages are impossible… 
Highly Cited
2000
Highly Cited
2000
Specification of Symbols and Implementation of Their Constraints in JKogge
There are numerous CASE-tools and editing tools for visual languages. Since most of them are restricted to a specific method or… 
Highly Cited
2000
Highly Cited
2000
A formal language for composition
A composition language based on a formal semantic foundation will facilitate precise specication of glue abstractions and… 
Highly Cited
1981
Highly Cited
1981
Lexical Processing during Sentence Comprehension: Effects of Higher Order Constraints and Implications for Representation
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)