Publication | Closed Access

Computability by finite automata and pisot bases

EngineeringAutomated ReasoningFormal MethodsPushdown AutomatonComputational ComplexityAutomaton OperationPisot BasesComputer ScienceFormal VerificationComputability Theory