Lindstrm algorytme