SE-SKOLORNAS 1980 Problem 5
A word is a string of the symbols which can be formed by repeated application of the following: (1) is a word; (2) if and are words, then so is ; (3) if is a word, then so is . How many words have letters?
Dataset text AI-MO AoPS. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.
Similar problems
These problems have the most words in common with this statement.