diff --git a/README.md b/README.md
index 0343e0fedf..ba554574bb 100644
--- a/README.md
+++ b/README.md
@@ -42,6 +42,8 @@ It is also possible to use prioritised finite-state transducers: multiple outgoi
 | re.from_ecma2020 | Parse a regular expression in textual ECMAScript 2020 format [(example)](../master/tests/parse-ecma-cases.smt2) |
 | re.from_ecma2020_flags | Parse a regular expression in textual ECMAScript 2020 format, with a second argument to specify flags [(example)](../master/tests/parse-ecma-cases.smt2) |
 | re.case_insensitive | Make any regular expression case insensitive [(example)](../master/tests/case-insensitive.smt2) |
+| re.from_automaton |  Parse a finite-state automaton [(example)](../master/tests/automata.smt2) |
+
 
 ### Handling of capture groups