Методы построения конечных автоматов на основе ...

17596. Mitchell B. S. A Heuristic Search Approach to Solving the Software ClusteringProblem. PhD Thesis. Drexel University, Philadelphia.97. Mitchell B. S., Mancordis S. Using heuristic search techniques to extractdesign abstractions from source code / GECCO 2002: Proceedings of theGenetic and Evolutionary Computation Conference (NY, 2002),pp. 1375 – 1382.98. Mitchell M. An Introduction to Genetic Algorithms. MA: The MIT Press,1996.99. Mitchell M., Crutchfield J. P., Hraber P. T. Evolving cellular automata toperform computations. Physica D. 1993. Vol. 75, pp. 361 – 391.http://web.cecs.pdx.edu/~mm/mech-imped.pdf100. Mitchell M., Holland J., Forrest S. When Will a Genetic Outperform HillClimbing? / Advances in Neural Information Processing Systems 6. SanMateo. CA: Morgan Kaufmann, 1994.101. Moonjoo K., Viswanathan M., Ben-Abdallah H., Kannan S., Lee I.,Sokolsky O. Formally specified monitoring of temporal properties /Proceedings of the 11th Euromicro Conference on Real-Time Systems,pp. 114 – 122.102. Naidoo A., Pillay N. The Induction of Finite Transducers Using GeneticProgramming / Proceedings of the 10th European conference on Geneticprogramming, pp. 371 – 380. http://saturn.cs.unp.ac.za/~nelishiap/papers/eurogp07.pdf103. Nedjah N., Mourelle L. Mealy Finite State Machines: An EvolutionaryApproach // International Journal of Innovative Computing, Informationand Control. 2006. Vol. 2. Issue 4, pp. 789 – 806.104. Niebert P., Peled D., Pnueli A. Discriminative Model Checking. LectureNotes In Computer Science. Springer Berlin / Heidelberg. 2008. Vol.5123/2008, pp. 504 – 516.105. Nocedal J., Wright S. Numerical Optimization. 2006. Berlin, NY:Springer-Verlag.