Text this: A greedy algorithm for computing finite-makespan controllable sublanguages

             ___      _  __    ______    ______  
    ___     / _ \\   | |/ //  /_   _//  /_   _// 
   /   ||  / //\ \\  | ' //    -| ||-     | ||   
  | [] || |  ___  || | . \\    _| ||_    _| ||   
   \__ || |_||  |_|| |_|\_\\  /_____//  /__//    
    -|_|| `-`   `-`  `-` --`  `-----`   `--`     
     `-`