Regular geodesic languages and the falsification by fellow traveler property.
In the group theory various representations of free groups are used. A representation of a free group of rank two by the so-calledtime-varying Mealy automata over the changing alphabet is given. Two different constructions of such automata are presented.
Let G be a finitely generated group. We give a new characterization of its Bieri-Neumann-Strebel invariant Σ(G), in terms of geometric abelian actions on R-trees. We provide a proof of Brown's characterization of Σ(G) by exceptional abelian actions of G, using geometric methods.