Summary: | 碩士 === 國立臺灣大學 === 電機工程學研究所 === 100 === The concept and application of automata theory can develop variety of
mathematical models. For example, deterministic finite automata, non-deterministic finite automata and weighted automata models. Especially to be mentioned, weighted automata are one of the most important research fields. By assigning different of weights and their computations, it have been successful used in many applications such as speech recognition, model checking, pattern recognition, natural language-processing and digital image compression. The huge number of applications makes automata a very valuable research theories and topics. Therefore, it plays an important role in the field of computer science all the time.
In this thesis, we will introduce an algorithm to emphasize the feature of an automaton at some local area in a way of visualization by combining the works of graph layout, clustering. To help the users process the feature part of the automata quickly when building the model of the automata.
|