Solving Sequential Conditions by Finite-State Strategies
Work
Year: 1969
Type: article
Abstract: Our main purpose is to present an algorithm which decides whether or not a condition C(X,Y) stated in sequential calculus admits a finite automata solution, and produces one if it exists.This solves a... more
Authors J Büchi, Lawrence H. Landweber
Institutions Purdue Pharma (Canada), University of Wisconsin–Madison
Cites: 12
Cited by: 118
Related to: 10
FWCI: 0.483
Citation percentile (by year/subfield): 92.43
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green