The base-two representations of powers of two form the regular language . Their base-ten representations are not regular. Pumping a fixed decimal substring of length would produce powers of two satisfying . After division by and passage to large , integrality would force a power of two to equal , contradicting unique factorization.
Articles by others on the same topic
There are currently no matching articles.