Skip to search formSkip to main contentSkip to account menu
You are currently offline. Some features of the site may not work correctly.

Formation rule

Known as: Formation rules 
In mathematical logic, formation rules are rules for describing which strings of symbols formed from the alphabet of a formal language are… 
Wikipedia

Related topics

Related topics

9 relations
First-order logicFormal grammarFormal languageInterpretation (logic)
Expand

Broader (1)

Propositional calculus

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
Corrosion-resistant high-entropy alloys: A review
Corrosion destroys more than three percent of the world’s gross domestic product. Therefore, the design of highly corrosion… 
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Highly Cited
2011
Highly Cited
2011
Improving identifier informativeness using part of speech information
Recent software development tools have exploited the mining of natural language information found within software and its… 
  • figure 1
  • table 1
Highly Cited
2003
Highly Cited
2003
Word-Formation in English
Introduction 1. Basic concepts 2. Studying complex words 3. Productivity and the mental lexicon 4. Affixation 5. Derivation… 
  • table 1
2002
2002
Bringing order to query optimization
A variety of developments combine to highlight the need for respecting order when manipulating relations. For example, new… 
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 3
Highly Cited
2002
Highly Cited
2002
A MORPHOLOGICAL ANALYSIS OF DEFINITE NOUNS IN DANISH
In the Scandinavian languages, including Danish, Faroese, Icelandic, Norwegian, and Swedish, there are two ways definiteness can… 
Highly Cited
1994
Highly Cited
1994
Feature-based inheritance networks for computational lexicons
The virtues of viewing the lexicon as an inheritance network are its succinctness and its tendency to highlight significant… 
  • figure 1
  • figure 2
  • figure 3
1987
1987
A Syntactic Omni-Font Character Recognition System
  • G. Wolberg
  • Int. J. Pattern Recognit. Artif. Intell.
  • 1987
  • Corpus ID: 16650262
This paper introduces a syntactic omni-font character recognition system. The "omni-font" attribute reflects the wide range of… 
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1983
Highly Cited
1983
Conversion of control dependence to data dependence
Program analysis methods, especially those which support automatic vectorization, are based on the concept of interstatement… 
  • figure 5
Highly Cited
1979
Highly Cited
1979
Russian morphology and lexical theory
[1998 Note: This was my phonology generals paper. It contains a certain amount of misanalysis and misinformation, some of it… 
  • figure 1
Highly Cited
1966
Highly Cited
1966
Flow diagrams, turing machines and languages with only two formation rules
In the first part of the paper, flow diagrams are introduced to represent inter ah mappings of a set into itself. Although not… 
  • figure 4
  • figure 15
  • figure 19
  • figure 18
  • figure 16
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE