Grammatical Inference by Wojciech Wieczorek
Author:Wojciech Wieczorek
Language: eng
Format: epub
Publisher: Springer International Publishing, Cham
6.2.2 Our Implementation
Let us assume that a context-free grammar is represented as described on pages 34 and 35. We have got the following form of the GI algorithm:
6.3 Bibliographical Background
Finite language decomposition was investigated for the first time by Mateescu et al. (1998). They discovered the concept of a decomposition set—the subset of the states of the minimal finite deterministic automaton for a regular language (notice that every finite language is regular). In their work, it was also left open whether testing the primality of a finite language is an intractable problem. Wieczorek (2010a) developed this theory and introduced the concept of significant states in DFA. It helped to construct a very clever algorithm for finding decompositions. In the paper we can find two additional algorithms; one of the algorithms is based on a graph which is very similar to the characteristic graph defined in the present chapter. Jastrzab et al. (2016) showed how the main algorithm in Wieczorek (2010a) may be parallelized. Wieczorek (2009) proposed also a few metaheuristic approaches for the decomposability of finite languages.
The problem of obtaining languages applying an operation on smaller languages is also crucial to the theory of formal languages (Ito 2004). Apart from catenation (i.e. the inverse operation to decomposition), the shuffle operation has been intensively studied in formal language theory (Berstel and Boasson 2002). Jedrzejowicz and Szepietowski (2001a) investigated the complexity of languages described by some expressions containing shuffle operator and intersection. The same authors considered the class of shuffle languages which emerges from the class of finite languages through regular operations (union, catenation, Kleene star) and some shuffle operations (Jedrzejowicz and Szepietowski 2001b).
Constructing an initial grammar in the algorithm described in this chapter (the initialG function) is taken from Wieczorek (2010b). A function for eliminating unit productions is an implementation of the algorithm given by Hopcroft et al. (2001).
Download
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.
Implementing Enterprise Observability for Success by Manisha Agrawal and Karun Krishnannair(7433)
Supercharging Productivity with Trello by Brittany Joiner(6691)
Mastering Tableau 2023 - Fourth Edition by Marleen Meier(6459)
Secrets of the JavaScript Ninja by John Resig Bear Bibeault(6426)
Inkscape by Example by István Szép(6310)
Visualize Complex Processes with Microsoft Visio by David J Parker & Šenaj Lelić(6005)
Build Stunning Real-time VFX with Unreal Engine 5 by Hrishikesh Andurlekar(5008)
Design Made Easy with Inkscape by Christopher Rogers(4651)
Customizing Microsoft Teams by Gopi Kondameda(4187)
Linux Device Driver Development Cookbook by Rodolfo Giometti(3941)
Business Intelligence Career Master Plan by Eduardo Chavez & Danny Moncada(3794)
Extending Microsoft Power Apps with Power Apps Component Framework by Danish Naglekar(3777)
Salesforce Platform Enterprise Architecture - Fourth Edition by Andrew Fawcett(3656)
Pandas Cookbook by Theodore Petrou(3632)
The Tableau Workshop by Sumit Gupta Sylvester Pinto Shweta Sankhe-Savale JC Gillet and Kenneth Michael Cherven(3430)
TCP IP by Todd Lammle(2995)
Drawing Shortcuts: Developing Quick Drawing Skills Using Today's Technology by Leggitt Jim(2925)
Exploring Microsoft Excel's Hidden Treasures by David Ringstrom(2902)
Applied Predictive Modeling by Max Kuhn & Kjell Johnson(2885)
