Semi-Groups Acting on Context-Free Graphs

摘要

Let T be a ocntext-free graph. We give sufficient conditions on a semi-group of bisimulations H to ensure that the quotient HT is context-free. Using these sufficient conditions we show that the quotient Aut(T)T of T by its full group of automorphisms is always context-free.