#lba #lbaexample #theoryofcomputation