[FX] Minor docs changes (#50966)

Summary: Pull Request resolved: https://github.com/pytorch/pytorch/pull/50966

Test Plan: Imported from OSS

Reviewed By: suo

Differential Revision: D26029101

Pulled By: jamesr66a

fbshipit-source-id: 4374771be74d0a4d05fdd29107be5357130c2a76

docs/source/fx.rst

@@ -7,11 +7,21 @@ Overview
 --------
 .. automodule:: torch.fx
 
+Writing Transformations
+-----------------------
+
+TODO
+
+Debugging Transformations
+-------------------------
+
+TODO
+
 Limitations of Symbolic Tracing
 -------------------------------
 
-FX uses a system of **symbolic tracing** (a.k.a `abstract
-interpretation <https://en.wikipedia.org/wiki/Abstract_interpretation>`__)
+FX uses a system of **symbolic tracing** (a.k.a `symbolic
+execution <https://en.wikipedia.org/wiki/Symbolic_execution>`__)
 to capture the semantics of programs in a transformable/analyzable form.
 The system is **tracing** in that it executes the program (really an
 ``nn.Module`` or function) to gather this information. It is
@@ -288,16 +298,6 @@ Miscellanea
    -  Annotations on local names within a function are not currently
       supported.
 
-Writing Transformations
------------------------
-
-TODO
-
-Debugging Transformations
--------------------------
-
-TODO
-
 API Reference
 -------------