Concepedia

Finite-State Models for Logical Machines

Unknown author(s)

Students Quarterly Journal · 1969 · 244 citations · 0 references

Concepts

ComputingComputer ScienceFormal MethodsKnowledge RepresentationLogicAutomata TheoryFinite AutomataFinite State Machine ModelingFinite-state MachinesModel CheckingModel TheoryFinite Automata TheoryFinite State Machine SpecificationFinite-state Processes