-
automatisk bevisföring, verksamheten att med en mer eller mindre allmän metod bevisa teorem inom en logisk eller matematisk teori med hjälp av datorer (vilket inte skall förväxlas med datorberäkningar som ett led i bevis av specifika matematiska teorem).
-
-
automatisk programmering innebär att man utnyttjar speciella datorprogram,
programgeneratorer, för att göra nya datorprogram.
-
automatisk linjeblockering, järnvägsteknisk anordning som förhindrar olyckor om tåg sänds ut mot eller hinner upp varandra.
-
automatisk indexering, framställning av index till databaser med hjälp av ett datorprogram.
-
automatisk växellåda, anordning för ned- eller uppväxling av rotationshastighet, se
växellåda.
-
automatisk databehandling,
ADB , bruk av dator eller annan elektronisk utrustning för att lagra, bearbeta och transportera data.
-
automatisk skrift, en litterär metod som innebär att man försöker direkt återge vad som kommer fram ur det undermedvetna (jämför
automatism).
-
automatisk frekvenskontroll,
AFC,
AFK, innebär att en radiomottagare med en frekvenskänslig detektor försetts med en återkoppling från detektorn till lokaloscillatorn, sådan att eventuell felinställning av mottagarens frekvens korrigeras.
-
automatisk stabilisator, faktor som minskar de ekonomiska konjunktursvängningarnas storlek utan att det krävs direkta ingrepp av statsmakterna.