On the application of pair algebra to automata theory | IEEE Conference Publication | IEEE Xplore