A lot of what I’m trying to do with mathematical models of computer systems involves operations on finite sequences. Define a “finite sequence of length n>0” to be any total map f: {1 … n} → X for some set X.
What does the UNIX file system do?
Unix, Linux, Windows and other operating systems and the world wide web all support file systems with the familiar path file names like “/home/snowden/travel/boardingpass.pdf” or “/system/passwords/secret/dontread.txt” although sometimes with different separator characters between the individual “flat” file names. For example,
Update of UNIX filesystem paper
download the paper
Paths versus Recursion
/* * Iterative DepthFirst file list (c) Victor Yodaiken 2013 * * “Not the way we do it in Brooklyn” – Dave “Kinch” Arnow. * * * Data structure is P – the current path, with some aux data *