Open Questions around BÜchi and Presburger Arithmetics

20 June 1996

book chapter
Published by Oxford University Press (OUP)

p. 353-384
https://doi.org/10.1093/oso/9780198538622.003.0015

Abstract

BÜchi characterized sets of natural numbers recognizable by finite automata in base k as the sets of natural numbers definable in W Sl S, the weak monadic second-order theory of one successor.

Keywords

ACCEPTED
RECOGNIZABLE
NON-DETERMINISTIC
FIRST-ORDER DEFINABLE
SUCCESSOR

This publication has 0 references indexed in Scilit: