
Recent Posts
 Logic without negation and falsehood December 11, 2016
 Logic without truth September 3, 2016
 Learning category theory: a necessary evil? April 3, 2016
Blogs I Follow
Category Archives: partial functions
Logic without truth
Pi is wrong! But so what? It is neither new, nor complicated enough to count as real math! And suggestions that or might be even better show that it not clearcut either. I recently invested sufficient energy into some logical questions to … Continue reading
Posted in category theory, logic, partial functions
Tagged category theory, gentzen, logic
5 Comments
A canonical labeling technique by Brendan McKay and isomorphism testing of deterministic finite automata
A deterministic finite automaton (DFA) is a 5tuple, , consisting of a finite set of states a finite set of input symbols a (partial) transition function an initial state a set of accept states An isomorphism between two DFAs and … Continue reading
Posted in inverse semigroups, isomorphism, partial functions
Tagged inverse semigroups, isomorphism
4 Comments
Reversibility of binary relations, substochastic matrices, and partial functions
After the last post, I decided that the next post should contain images. Next I decided that the time to publish another post has come. Here is an image of an acceptor finitestate machine, parsing the string “nice”. How can … Continue reading