A tag is a keyword or label that categorizes your question with other, similar questions. Using the right tags makes it easier for others to find and answer your question.
practical questions about doing research in theoretical computer science
the study of objects under continuous deformation using tools from abstract algebra such as groups, fields , rings and algebras (a combination of a group and a ring). An example …
Questions arising from applications of theoretical computer science in other areas of computer science research/practice or other subjects.
Automata Theory, including abstract machines, grammars, parsing, grammatical inference, transducers, and finite-state techniques
the proving of mathematical theorems by a computer program.