BulDML at Institute of Mathematics and Informatics: On OBDD Transformations Representing Finite State Automata

	Home

Browse
	Communities & Collections
	Issue Date
	Author
	Title
	Subject

Sign on to:
	Receive email updates
	My DSpace authorized users
	Edit Profile


	About DSpace

BulDML at Institute of Mathematics and Informatics >
ITHEA >
International Journal ITA >
2003 >
Volume 10 Number 2 >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10525/941

Title:	On OBDD Transformations Representing Finite State Automata
Authors:	Kryvyy, Sergey Grzywacz, Wioletta
Keywords:	Finite Automata OBDD Congruence Relation Minimization Transformation
Issue Date:	2003
Publisher:	Institute of Information Theories and Applications FOI ITHEA
Abstract:	We present OBDD transformation problem representing finite labeled transition systems corresponding to some congruence relation. Transformations are oriented toward obtaining the OBDD of a minimized transition system for this congruence relation.
URI:	http://hdl.handle.net/10525/941
ISSN:	1313-0463
Appears in Collections:	Volume 10 Number 2

Files in This Item:

File	Description	Size	Format
ijita10-2-p18.pdf		133.52 kB	Adobe PDF	View/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons License