Skip to search formSkip to main content
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… Expand
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… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Is this relevant?
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… Expand
  • figure 1
  • table 1
Is this relevant?
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… Expand
  • table 1
Is this relevant?
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 3
Is this relevant?
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… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Where's Morphology?
In the early years of the development of a theory of generative grammar (roughly 1955 through the early 1970s), a striking… Expand
Is this relevant?
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… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
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… Expand
  • figure 5
Is this relevant?
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… Expand
  • figure 1
Is this relevant?
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… Expand
  • figure 4
  • figure 15
  • figure 19
  • figure 18
  • figure 16
Is this relevant?
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