Recent content by qqGlebqq

Thank you! You use the transition function (so you use set theory) in definition of formal language (and also "ordered set") , but as we didn't have FL, we didn't have set theory, so it becomes circular, no? I think I don't get from what we start and what we have in the beginning. Maybe you...

I've been trying to study formal systems and so what i do not understand about formal languages is why we can define a "word" as a sequence of symbols. Some sources say a sequence here is a function, but we don't have set theory yet. So my question is what is a sequence in the definition of a...