PulseExploreJournal ClubDebatesTrendingResearchersJournals
Instagram
HomeExploreJournal ClubTrending
Synapse
⌘+K
Synapse
May 17, 20260 citationsOpen Access

Turing Completeness of GNU find: From mkdir-Assisted Loops to Standalone Computation

KOKeigo Oka

Key Points

  • The aim is to illustrate the computational capabilities of the GNU find command, proving it Turing complete.
  • Simulated 2-tag systems using find and mkdir with encoded computational states as directory paths.
  • Demonstrated Turing completeness of GNU find 4.9.0+ by reading and writing files during traversal.
  • Showed Turing completeness using find and mkdir without regex back-references by encoding patterns into directory names.
  • Find + mkdir achieves Turing completeness through state encoding in directory paths.
  • GNU find 4.9.0+ alone is Turing complete, simulating a two-counter machine.
  • Find + mkdir without regex back-references remains Turing complete by encoding patterns in directory names.

Abstract

The Unix command find is among the first commands taught to beginners, yet remains indispensable for experienced engineers. In this paper, we demonstrate that find possesses unexpected computational power, establishing three Turing completeness results using the GNU implementation (a standard in Linux distributions). (1) find + mkdir is Turing complete. By encoding computational states as directory paths and using regex back-references to copy substrings, we simulate 2-tag systems using only the find and mkdir executables. (2) GNU find 4.9.0+ alone is Turing complete: by reading and writing to files during traversal, we simulate a two-counter machine without mkdir. (3) find + mkdir without regex back-references is still Turing complete: by a trick of encoding regex patterns directly into directory names, we achieve the same power. These results place find among the "surprisingly Turing-complete" systems, highlighting the hidden complexity within seemingly simple standard utilities.

Ask AI
Helpful
Bookmark
Share
View Full Paper

Cite This Study

Keigo Oka (2026) studied this question.

synapsesocial.com/papers/6a095bba7880e6d24efe1a4bhttps://doi.org/10.4230/lipics.fun.2026.36
Ask AI
Helpful
Bookmark
Share
View Full Paper