Abstract
This paper explores the problem of finding behavioral models of finite state systems, given observed data of systems which are presumed to lie in this category.
Following an informal introduction, a formal definition of an identification problem is given along with the form that a solution to such a problem may be expected to lake.
The most general type of such problem involving finite state systems is described and several possible approaches to developing a solution to this general problem are discussed.
Several classes of more specialized classes of systems and their identification problems are developed. For these, a set of algorithms are described which may be used to solve them. The complexity of these algorithms is discussed.