Method of merging and incremental construction of minimal finite state machines
作者： Branimir Z. Lambov
DOI:
关键词:
摘要: A method of merging at least two state machines includes: mapping a first node from machine to second generate an input pair; performing depth-first recursive analysis transitions and nodes in the based on pair construct output node; third machine.
lens.org 参考文章(37)
Markus Wenk, Martin Zellweger, Moritz Borgmann, Andreas Burg, Method and device for decoding a signal of multiple input/multiple output system ,(2005)
Joseph Hoshen, Method and apparatus for extracting cluster shape features from digital images ,(1997)
Jason Raymond Baumgartner, Anson Jeffrey Tripp, Steven Leonard Roberts, Robert Neill Newshutz, Method, apparatus, and program for multiple clock domain partitioning through retiming ,(2000)
Viresh Paruthi, Kai Oliver Weber, Geert Janssen, Christian Jacobi, Jiazhao Xu, Method and System for Building Binary Decision Diagrams Efficiently in a Structural Network Representation of a Digital Circuit ,(2007)
Pei-Ning Guo, Chung-Kuan Cheng, IC design floorplan generation using ceiling and floor contours on an O-tree structure ,(1999)
Mehryar Mohri, System and methods for optimizing networks of weighted unweighted directed graphs ,(2000)
Branimir Z. Lambov, Efficient storage for finite state machines ,(2008)
Robert Tarjan, Depth-first search and linear graph algorithms 12th Annual Symposium on Switching and Automata Theory (swat 1971). ,vol. 1, pp. 114- 121 ,(1971) , 10.1109/SWAT.1971.10
Xiao Sun, Carmie A. Hull, Method and apparatus for constructing unique input/output sequence (UIO) sets utilizing transition distinctness measurements ,(1995)