Related Experiment Video
Updated: May 29, 2026

09:27
Using Eye Movements Recorded in the Visual World Paradigm to Explore the Online Processing of Spoken Language
Published on: October 13, 2018
Grammatical inference: introduction and survey-part I
IEEE Transactions on Pattern Analysis and Machine Intelligence
|August 27, 2011
Summary
This study introduces grammatical inference and its engineering uses. Algorithms for finite-state and context-free grammars are presented, with applications in syntactic pattern recognition.
Area of Science:
- Computer Science
- Computational Linguistics
- Artificial Intelligence
Background:
- Grammatical inference is a key area in machine learning and artificial intelligence.
- Understanding and generating grammars are crucial for various computational tasks.
- Existing methods may not cover all types of grammars or applications effectively.
Purpose of the Study:
- To introduce the problem of grammatical inference.
- To demonstrate potential engineering applications of grammatical inference.
- To present inference algorithms for different grammar types.
Main Methods:
- Development of inference algorithms for finite-state grammars.
- Development of inference algorithms for context-free grammars.
- Application of these algorithms to syntactic pattern recognition.
Main Results:
- Algorithms for inferring finite-state grammars were successfully developed.
- Algorithms for inferring context-free grammars were successfully developed.
- Demonstrated the utility of these algorithms in syntactic pattern recognition through examples.
Conclusions:
- Grammatical inference has significant potential in engineering applications.
- The presented algorithms provide effective methods for inferring finite-state and context-free grammars.
- The study highlights the importance of grammatical inference in syntactic pattern recognition.
Related Concept Videos
Inductive Reasoning
Inductive reasoning is a form of logical thinking that uses related observations to arrive at a general conclusion. It is uncertain and operates in degrees to which the conclusions are credible. As such, inductive arguments can be weak or strong, rather than valid or invalid, and conclusions can be used to formulate testable, falsifiable hypotheses.
Inductive reasoning is common in descriptive science. A life scientist makes observations and records them. This data can be qualitative or...
Inductive reasoning is common in descriptive science. A life scientist makes observations and records them. This data can be qualitative or...
Theory of Attribution I: Correspondent Inference Theory
Correspondent inference theory, proposed by Jones and Davis in 1965, seeks to explain how individuals infer stable personality traits from observed behaviors. It suggests that people attribute actions to underlying dispositions rather than external circumstances, particularly when the behavior appears intentional and socially significant.Voluntary Behavior and Dispositional AttributionAccording to this theory, individuals are more likely to attribute behavior to personal traits when it appears...
Deductive Reasoning
Deductive reasoning, or deduction, is the type of logic used in hypothesis-based science. In deductive reasoning, the pattern of thinking moves in the opposite direction as compared to inductive reasoning, which means that it uses a general principle or law to predict specific results. From those general principles, a scientist can deduce and predict the specific results that would be valid as long as the general principles are valid.
For example, a researcher can deduce specific predictions...
For example, a researcher can deduce specific predictions...
Parseval's Theorem
Parseval's theorem is a fundamental concept in signal processing and harmonic analysis. It asserts that for a periodic function, the average power of the signal over one period equals the sum of the squared magnitudes of all its complex Fourier coefficients. This theorem, named after Marc-Antoine Parseval, provides a powerful tool for analyzing the energy distribution in signals.
Interestingly, Parseval's theorem also holds for the trigonometric form of the Fourier series, which expresses a...
Interestingly, Parseval's theorem also holds for the trigonometric form of the Fourier series, which expresses a...
Mathematical Induction
Mathematical induction is a structured method of proof used to confirm the truth of statements involving natural numbers. Consider the sum of the first n natural numbers:This formula describes a pattern that appears to hold true as more terms are added. To verify that it is valid for all natural numbers, mathematical induction proceeds in two essential steps. The first is the base case, where the formula is tested for the initial value, typically n = 1. Substituting into both sides confirms the...
Statistical Inference Techniques in Hypothesis Testing: Parametric Versus Nonparametric Data
Statistical inference techniques, paramount in hypothesis testing, differentiate into two broad categories: parametric and nonparametric statistics.
Parametric statistics, as the name suggests, assumes that data follow a specific distribution, often a normal distribution. This assumption enables robust hypothesis testing and estimation. Parametric methods, like the Student's t-test or Goodness-of-fit test, are frequently employed in biostatistics due to their robustness. For instance, comparing...
Parametric statistics, as the name suggests, assumes that data follow a specific distribution, often a normal distribution. This assumption enables robust hypothesis testing and estimation. Parametric methods, like the Student's t-test or Goodness-of-fit test, are frequently employed in biostatistics due to their robustness. For instance, comparing...

