Ferromagnetic Wire Memory

DOI10.1109/PGEC.1967.264613MaRDI QIDQ5532539zbMATH OpenOpenAlexFDO

Authors Oscar H. Ibarra

Publication date 1967

Published in IEEE Transactions on Electronic Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/pgec.1967.264613

zbMATH Keywords

mathematical logic

Recommendations

• Model matching for finite-state machines
• scientific article; zbMATH DE number 5927429
• Factorisation of finite state machines under strong and observational equivalences
• On the existence of hybrid models for finite state machines
• Equivalent state-dependent models of linear hybrid automata
• Efficient Equivalence Checking Technique for Some Classes of Finite-State Machines
• Equivalence checking problem for finite state transducers over semigroups
• Revisiting the equivalence problem for finite multitape automata
• scientific article; zbMATH DE number 4062606
• Deciding sequentiability of finite-state transducers by finite-state pattern-matching.

Cited in

(1)

• k\(+1\) heads are better than k for PDAs

This page was built for publication: Ferromagnetic Wire Memory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5532539)