Record Details

DSpace at IIT Bombay

View Archive Info
 

Metadata

 
Field Value
 
Title Minimizing generalized Buchi automata
 
Names JUVEKAR, S
PITERMAN, N
Date Issued 2006 (iso8601)
Abstract We consider the problem of minimization of generalized Buchi automata. We extend fair-simulation minimization and delayed-simulation minimization to the case where the Buchi automaton has multiple acceptance conditions. For fair simulation, we show how to efficiently compute the fair-simulation relation while maintaining the structure of the automaton. We then use the fair-simulation relation to merge states and remove transitions. Our fair-simulation algorithm works in time O(mn(3) k(2)) where Tn is the number of transitions, n is the number of states, and k is the number of acceptance sets. For delayed simulation, we extend the existing definition to the case of multiple acceptance conditions. We show that our definition can indeed be used for minimization and give an algorithm that computes the delayed-simulation relation. Our delayed-simulation algorithm works in time O(mn(3) k). We implemented the two algorithms and report on experimental results.
Genre Article; Proceedings Paper
Topic Fair Simulation
Identifier COMPUTER AIDED VERIFICATION, PROCEEDINGS,4144,45-58