User talk:Jakub Piotrowicz

revert at Automata theory
Hi, I wanted to let you know that I reverted your edit at automata theory. I think it's not necessary to introduce transition relations at this point in the article. Also note that a nondet. automaton is often expressed as having a transition function as well -- $$\delta: Q \to 2^Q$$. It also didn't seem consistent with the way the rest of the article was written. If you think I've made a mistake, please let me know! Caleb Stanford (talk) 00:40, 5 March 2023 (UTC)

Skolem problem
I noticed that you edited the page Constant-recursive sequence to say that the existence of a zero (Skolem problem) is decidable, but without a citation. Is there a recent result we should be aware of? Thanks, Caleb Stanford (talk) 14:47, 16 June 2023 (UTC)