Can I read 1sou Document Overview on EtoBox?

1sou Document Overview by Thunder Spark is a document available to read on EtoBox.

What is 1sou Document Overview about?

1. The document contains proofs that: (1) if a string x is a palindrome, then x^n is also a palindrome for any n; and (2) for any set S, S^1 = S^1. 2. It gives two recursive definitions for the set of power-of-two numbers and proves that the product of two numbers in this set is also in this set. 3. It provides recursive definitions for the languages of strings of even length and strings not containing the substring "aa". It also gives DFAs accepting various languages.

Author

Thunder Spark

Language

EN