Transistors (BJT) — Current Amplification and Switching

Flow: Transistors_BJT_CurrentAmplificationAndSwitching_v1_0

Purpose:
Model the bipolar junction transistor (BJT) as a three-terminal component that enables controlled current amplification and switching, allowing structured teaching of base control, collector-emitter conduction, gain behaviour, and digital or analogue circuit action.

System:
S = (I, R, B, K)

----------------------------------------
Teaching Directive
----------------------------------------

Execution_Mode:
Teaching

Audience:
Beginner to Intermediate learner

Teaching_Flow:
Explain → Visualise → Formalise → Apply

Instruction:
- Begin with intuitive explanation of a transistor as a small-control, larger-effect device
- Explain that a small base current can control a larger collector-emitter current
- Introduce the transistor as both an amplifier and a switch
- Relate transistor behaviour to input control, output response, and operating region
- Reinforce with simple lamp-switching and signal amplification examples

Constraints:
H = ∅
Clarity before formalism

Goal:
Student understands that:
- a BJT uses one current to control another
- small base current can control larger collector current
- a transistor can operate as a switch or amplifier
- transistor behaviour depends on terminal bias and circuit conditions

----------------------------------------
State
----------------------------------------

I = {
  transistor_type,
  base_current,
  collector_current,
  emitter_current,
  base_emitter_voltage,
  collector_emitter_voltage,
  bias_state,
  load_condition,
  gain_factor,
  operating_region,
  time_state
}

----------------------------------------
Rules
----------------------------------------

R = {
  detect_transistor_presence,
  identify_base_collector_emitter,
  evaluate_bias_conditions,
  permit_base_emitter_control,
  compute_collector_response,
  determine_operating_region,
  apply_current_gain_relation,
  update_output_state
}

----------------------------------------
Boundaries
----------------------------------------

B = {
  transistor_component_required,
  terminal_identity_defined,
  valid_bias_condition_required,
  conductive_path_required_for_output_current,
  gain_factor_defined_for_model,
  operating_limits_not_exceeded,
  no_unphysical_output_without_control_or_bias
}

----------------------------------------
Invariants
----------------------------------------

K = {
  transistor_has_three_terminals_base_collector_emitter,
  small_base_current_controls_larger_collector_current,
  I_C = beta * I_B,
  I_E = I_B + I_C,
  conduction_depends_on_base_emitter_forward_bias,
  transistor_can_operate_in_cutoff_active_or_saturation_region,
  cutoff_implies_minimal_collector_current_in_intro_model,
  saturation_implies_switch_like_full_on_state_in_intro_model
}

----------------------------------------
Execution
----------------------------------------

E_t = expand(I, R)

V_t = {
  x ∈ E_t | x satisfies (B ∧ K)
}

Selection:
x* = argmax_(x ∈ V_t) P(x | I, R, B, K)

Update:
I_(t+1) = update(I_t, x*)

----------------------------------------
Output
----------------------------------------

O = controlled_current_amplification_or_switching | (B, K)

----------------------------------------
Failure Condition
----------------------------------------

V_t = ∅ ⇒ O = FAIL

Meaning:
If no valid transistor structure, bias condition, control current, or output path can be established, no coherent BJT amplification or switching behaviour can be evaluated.

----------------------------------------
Interpretation
----------------------------------------

A bipolar junction transistor is a three-terminal semiconductor device in which a relatively small base current controls a larger current flowing from collector to emitter. This makes the transistor useful as both an amplifier and a switch.

In switching use, the transistor can remain off when base drive is absent, and turn on when sufficient base drive is applied. In amplification use, small changes in base current can produce larger changes in collector current, allowing weak signals to control stronger output behaviour.

The behaviour depends on the transistor’s bias condition and operating region. In the introductory model, cutoff corresponds to off, active region corresponds to amplification, and saturation corresponds to fully on switching behaviour.

----------------------------------------
Core Relations
----------------------------------------

I_C = beta * I_B
I_E = I_B + I_C

----------------------------------------
Derived Relations
----------------------------------------

Cutoff region:
base drive too small → collector current approximately zero

Active region:
collector current follows base current with gain

Saturation region:
transistor fully on for switching model

Switching concept:
small input current controls larger output current

Amplification concept:
small signal variation at base produces larger output variation

----------------------------------------
Teaching Outcome
----------------------------------------

Student can:
- Understand a BJT as a current-controlled device
- Identify base, collector, and emitter roles
- Explain how a small base current controls a larger collector current
- Distinguish switching behaviour from amplification behaviour
- Recognise cutoff, active, and saturation regions in introductory terms